commit 2017b72c8419a5fa658b525a4268efb50c84a648
parent 91b6de13e7b67d81f1635a0015b071883f2e7a0d
Author: kst
Date: 2020-07-17 23:35Z
use $USER as the default owner
Diffstat:
1 file changed, 2 insertions(+), 6 deletions(-)
diff --git a/grm b/grm
@@ -8,9 +8,6 @@
# root directory of git repositories
GRM_REPOS_ROOT="$HOME/public_html"
-# default owner
-GRM_OWNER="$USER"
-
# default url prefix (without ending slash)
GRM_URL_PREFIX="https://tilde.team/~$USER"
@@ -75,7 +72,6 @@ RESET="\033[0m"
grm_new() {
set -e
- default_owner=${GRM_OWNER:-$USER}
url_prefix=${GRM_URL_PREFIX:-https://tilde.team/~$USER}
postrecv_path=${GRM_POSTRECV_HOOK:-$HOME/bin/stagit-post-receive}
default_desc="a work in progress"
@@ -97,9 +93,9 @@ grm_new() {
read -r repo_desc
repo_desc=${repo_desc:-$default_desc}
- printf "%b%s%b\n> " "${BLUE}owner [${GREEN}" "$default_owner" "${BLUE}]${RESET}"
+ printf "%b%s%b\n> " "${BLUE}owner [${GREEN}" "$USER" "${BLUE}]${RESET}"
read -r owner
- owner=${owner:-$default_owner}
+ owner=${owner:-$USER}
printf "%b%s%b\n> " \
"${BLUE}clone url [${GREEN}" "$url_prefix/${repo_name}.git" "${BLUE}]${RESET}"