opdavies/dotfiles
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Extract the remote URL from the repository URL

Browse source
This commit is contained in:
Oliver Davies 2024-04-16 18:05:55 +01:00
parent 2074c748cb
commit d26ecee2ee
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
lib/shared/modules/zsh.nix
View file

@ -23,12 +23,17 @@
[[ -z "$user" ]] && user="$USER"
fi
# Extract the remote domain (e.g. github.com) from the repo URL.
domain="''${repo_url#*@}"
domain="''${domain%:*}"
repo_name="''${user_and_repo_name##*/}"
repo_name="''${repo_name%.git}"
user_path="''${HOME}/Code/github.com/''${user}"
user_path="''${HOME}/Code/''${domain}/''${user}"
user_repo_path="''${user_path}/''${repo_name}"
[[ -d "''${user_repo_path}" ]] && t "''${user_repo_path}" && return
${pkgs.coreutils}/bin/mkdir -p "''${user_path}"