diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2018-05-11 12:19:44 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2018-05-11 12:20:05 -0700 |
| commit | a6b446b005c01af4df7d6208d080422cd5ab7958 (patch) | |
| tree | 4a2756d4cf64fb9f35e2cd9a4a73605278a3b5ae /bin/insinuate-dotfiles | |
| parent | ebb970def93d31f36ab4cc8f932428ff1bd2e176 (diff) | |
| download | dotfiles-a6b446b005c01af4df7d6208d080422cd5ab7958.tar.gz | |
update comments
Diffstat (limited to 'bin/insinuate-dotfiles')
| -rwxr-xr-x | bin/insinuate-dotfiles | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/bin/insinuate-dotfiles b/bin/insinuate-dotfiles index 583c66c8..18c31b11 100755 --- a/bin/insinuate-dotfiles +++ b/bin/insinuate-dotfiles @@ -12,24 +12,24 @@ status "trying to clone dotfiles to $1 using git daemon protocol" -# post-buster +# post-stretch # ssh "$1" 'wget -O- https://spwhitton.name/spwhitton.asc | gpg --import' ssh "$1" 'cd $HOME && git clone --depth 1 git://spwhitton.name/dotfiles src/dotfiles' -# pre-buster +# pre-end of support for jessie hash=$(ssh "$1" 'cd $HOME/src/dotfiles && git show-ref -s master | head -n1') ( cd "$HOME/src/dotfiles" && git branch --contains "$hash" | grep master) -# post-buster +# post-end of support for jessie # ssh "$1" 'cd $HOME/src/dotfiles && git verify-commit --raw master 2>&1 | grep "VALIDSIG .* 8DC2487E51ABDD90B5C4753F0F56D0553B6D411B"' if [ $? = 0 ]; then status "clone ok; running bootstrap script" ssh "$1" 'cd $HOME && sh src/dotfiles/bin/bstraph.sh' else - # pre-buster + # pre-end of support for jessie status "couldn't find remote HEAD in local master branch" - # post-buster + # post-end of support for jessie # status "couldn't verify PGP signature on dotfiles commit" status "nuking corrupted clone on $1" |