This commit is contained in:
unman 2022-11-16 12:09:03 +00:00
parent 8a077f3131
commit 9217adf047
No known key found for this signature in database
GPG key ID: FDD1B8244731B36C
10 changed files with 206 additions and 0 deletions

9
git/add-remote Normal file
View file

@ -0,0 +1,9 @@
#!/bin/sh
[ -n "$1" ] || exit 1
if [ "$1" = "sg" ]; then
git remote add $1 "ext::git-qrexec sys-git 3 `basename $PWD`"
exit $?
fi