From 21bd1b2290cf57d220fc379e88a1b18cb8eee536 Mon Sep 17 00:00:00 2001 From: Aminda Suomalainen Date: Tue, 30 Jul 2024 14:20:32 +0300 Subject: [PATCH] moar security theater --- .mikaela_install | 2 +- install | 2 +- rc/bashrc | 2 +- rc/zshrc | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.mikaela_install b/.mikaela_install index 37c4e0c7..c0836ad7 100755 --- a/.mikaela_install +++ b/.mikaela_install @@ -4,7 +4,7 @@ # stop. set -x -git verify-commit HEAD +git verify-commit HEAD || exit 1 cat .mikaela/bash_aliases >~/.bash_aliases cat .mikaela/zsh_aliases >~/.zsh_aliases diff --git a/install b/install index 03cd36c1..11d9a2fa 100755 --- a/install +++ b/install @@ -3,7 +3,7 @@ set -x if [ -d ~/src/gitea.blesmrt.net/Mikaela/ssh-allowed_signers ]; then - git verify-commit HEAD + git verify-commit HEAD || exit 1 sleep 3 else echo "Keys not found, cloning..." diff --git a/rc/bashrc b/rc/bashrc index 89ff1bb7..ff2c429e 100755 --- a/rc/bashrc +++ b/rc/bashrc @@ -748,7 +748,7 @@ function shell-things { git remote set-url origin https://gitea.blesmrt.net/Mikaela/shell-things.git git fetch --all git pull - git verify-commit HEAD + git verify-commit HEAD || exit 1 sleep 10 echo "" echo "shell-things: Installing/Upgrading..." diff --git a/rc/zshrc b/rc/zshrc index abde7801..d25176e7 100755 --- a/rc/zshrc +++ b/rc/zshrc @@ -727,7 +727,7 @@ function shell-things { git remote set-url origin https://gitea.blesmrt.net/Mikaela/shell-things.git git fetch --all git pull - git verify-commit HEAD + git verify-commit HEAD || exit 1 sleep 10 echo "" echo "shell-things: Installing/Upgrading..."