commit ec5dbf41ed99f42f1d99102e2ecc3cc1d90ff036
parent a521c26c11016cb9328b9d1e05f5313e6785c11b
Author: Anders Damsgaard <anders@adamsgaard.dk>
Date: Mon, 8 Jun 2020 10:55:13 +0200
Remove unused alias and improve other alias syntax
Diffstat:
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/.profile b/.profile
@@ -57,7 +57,7 @@ alias la='l -a'
alias ll='l -l'
alias lo='l -alo'
-alias dot="git --git-dir=\$HOME/.dotfiles/ --work-tree=\$HOME"
+alias dot='git --git-dir=$HOME/.dotfiles/ --work-tree=$HOME'
create_repo() {
user="git"
host="src.adamsgaard.dk"
@@ -66,6 +66,12 @@ create_repo() {
return 1
fi
if ssh "${user}@${host}" "./create-repo.sh ${1}"; then
+ printf 'make public? [Y/n] '
+ read
+ case "$REPLY" in
+ N|n) ssh "${user}@${host}" "rm ${1}/git-daemon-export-ok";;
+ esac
+
if [ -f .git/config ]; then
printf 'add as remote origin? [Y/n] '
read
@@ -104,7 +110,6 @@ alias date-central='TZ=US/Central date'
alias date-alaska='TZ=US/Alaska date'
alias date-uk='TZ=Europe/London date'
alias date-israel='TZ=Israel date'
-alias now="plumb https://imgs.xkcd.com/comics/now.png"
hurlo() {
out="${1##*/}"