aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarel Kočí <karel.koci@nic.cz>2017-09-19 13:33:41 +0200
committerKarel Kočí <karel.koci@nic.cz>2017-09-19 13:33:41 +0200
commitf7bbac700377968afce8fd86c8c9db294cfaaca2 (patch)
tree53b6e372733552ffbbd4fbff1fbad1a389a7424d
parent2d69c702522a1dbcb467a0e9ec7c6e75dbda0291 (diff)
downloadmyconfigs-f7bbac700377968afce8fd86c8c9db294cfaaca2.tar.gz
myconfigs-f7bbac700377968afce8fd86c8c9db294cfaaca2.tar.bz2
myconfigs-f7bbac700377968afce8fd86c8c9db294cfaaca2.zip
Only allow ff in gitbmerge
-rwxr-xr-xlocal/bin/usbkey2
-rw-r--r--shellrc2
2 files changed, 2 insertions, 2 deletions
diff --git a/local/bin/usbkey b/local/bin/usbkey
index d72c52b..6d5115f 100755
--- a/local/bin/usbkey
+++ b/local/bin/usbkey
@@ -93,7 +93,7 @@ op_ssh_list() {
for KEY in $(find "$MOUNT_PATH/ssh" -name '*.pub'); do
local N="${KEY#$MOUNT_PATH/ssh/}"
echo -n "${N%.pub}: "
- sed -n 's/ssh-rsa .* \(.*\)/\1/p' "$KEY"
+ sed -n 's/ssh-rsa [^ ]* \(.*\)/\1/p' "$KEY"
done
}
diff --git a/shellrc b/shellrc
index 7a2ae5f..2979249 100644
--- a/shellrc
+++ b/shellrc
@@ -84,7 +84,7 @@ gitbmerge() {
rm -r "$WT"
git worktree prune
fi
- git merge "$1" && git push && git branch -d "$1" && git push origin :"$1"
+ git merge --ff-only "$1" && git push && git branch -d "$1" && git push origin :"$1"
)
}