X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=home%2Flib%2Flogin_functions.sh;h=1eaf4d67ef421e4f442f33d8c6825f742b67236d;hb=4b5a29773ec52a54b65dc9959268cdaefaf27258;hp=3d2cacd2e129e201910e27f47bdcfbaa62e08898;hpb=96b36b7fd0a16577b882efe510770f2a58a776f1;p=khome.git diff --git a/home/lib/login_functions.sh b/home/lib/login_functions.sh index 3d2cacd..1eaf4d6 100644 --- a/home/lib/login_functions.sh +++ b/home/lib/login_functions.sh @@ -15,7 +15,7 @@ shell_activity_report() { '') group_by='dow';; *) echo "Usage: $0 [mon|dow]" >&2 - exit 1 + kill -INT $$ esac history \ | awk -v group_by="$group_by" ' @@ -216,7 +216,7 @@ man() { } experiment() { - cd "$(~/bin/experiment $@)" || exit 1 + cd "$(~/bin/experiment $@)" || kill -INT $$ } hump() { @@ -239,7 +239,7 @@ yt() { _yt_dir="${DIR_YOUTUBE}/individual-videos/${_yt_title}--${_yt_id}" mkdir -p "$_yt_dir" - cd "$_yt_dir" || exit 1 + cd "$_yt_dir" || kill -INT $$ echo "$_yt_uri" > 'uri' youtube-dl -c --write-description --write-info-json "$_yt_uri" } @@ -253,7 +253,7 @@ gh_clone() { gh_user_name="$2" gh_dir="${DIR_GITHUB}/${gh_user_name}" mkdir -p "$gh_dir" - cd "$gh_dir" || exit 1 + cd "$gh_dir" || kill -INT $$ gh_fetch_repos "$gh_user_type" "$gh_user_name" \ | jq --raw-output '.[] | select(.fork | not) | .git_url' \ | parallel -j 25 \ @@ -272,7 +272,7 @@ gh_clone_repo() { gh_username=$(echo "$1" | awk -F / '"$1 == "https" && $3 == github.com" {print $4}') gh_dir="${DIR_GITHUB}/${gh_username}" mkdir -p "$gh_dir" - cd "$gh_dir" || exit 1 + cd "$gh_dir" || kill -INT $$ git clone "$1" }