This repository has been archived on 2024-04-07. You can view files and clone it, but cannot push or open issues or pull requests.
dotfiles/dotfiles/scripts/_git_projects

22 lines
362 B
Bash
Executable File

#!/bin/sh
set -x
projdir="${HOME}/Projects"
user="{{@@ mail.personal.user @@}}"
host="git.{{@@ mail.personal.mail @@}}"
#{%@@ if False @@%}#
user="$USER"
host="github.com"
#{%@@ endif @@%}#
git -C "$projdir" rev-parse >/dev/null &&
exit 0
git clone "ssh://git@${host}:${user}/projects" "$projdir"
cd "$projdir"
git submodule update --init --recursive