diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2019-07-18 08:52:53 +0100 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2019-07-18 08:52:53 +0100 |
| commit | 87368f7a6f27046f70034bb298909a61830636d0 (patch) | |
| tree | a3320b8ffcc5044f13a8f57743d25ca6b654cb62 /bin/develacc-debi | |
| parent | fc2f99063959d69e261f2f6c5789920cb98ab37b (diff) | |
| download | dotfiles-87368f7a6f27046f70034bb298909a61830636d0.tar.gz | |
improvements to develacc-debi
Diffstat (limited to 'bin/develacc-debi')
| -rwxr-xr-x | bin/develacc-debi | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/bin/develacc-debi b/bin/develacc-debi index 072b8de9..2c6c60d8 100755 --- a/bin/develacc-debi +++ b/bin/develacc-debi @@ -1,5 +1,7 @@ #!/bin/sh +set -e + if ! [ -f "debian/changelog" ]; then echo >&2 "not a source package?" exit 1 @@ -14,5 +16,6 @@ if ! [ -f "../$changes" ]; then exit 1 fi -dcmd --changes --deb cp "../$changes" "$HOME/local/develacc/tmp" +dcmd --changes --deb cp -l "../$changes" "$HOME/local/develacc/tmp" ssh root@develacc debi "$@" "/home/spwhitton/tmp/$changes" +dcmd --changes --deb rm "$HOME/local/develacc/tmp/$changes" |