add git-rebuild

when you're running on a server and pushing changes, it's nice to have
just one command that does that and nothing else. this is that command.
This commit is contained in:
stupidcomputer 2024-10-28 23:53:44 -05:00
parent b2de08b2dc
commit 15f2580cab
2 changed files with 11 additions and 0 deletions

View File

@ -18,6 +18,7 @@ stdenv.mkDerivation rec {
installPhase = '' installPhase = ''
mkdir -p $out/bin mkdir -p $out/bin
cp $src/rebuild $out/bin cp $src/rebuild $out/bin
cp $src/git-rebuild $out/bin
wrapProgram $out/bin/rebuild --prefix PATH : ${lib.makeBinPath [ bash ]} wrapProgram $out/bin/rebuild --prefix PATH : ${lib.makeBinPath [ bash ]}
''; '';

10
builds/rebuild/git-rebuild Executable file
View File

@ -0,0 +1,10 @@
#!/bin/sh
# make sure we're in dot_testing
cd ~/dot_testing
git pull
git stash
git rebase
rebuild