Mise à jour de 'zsh/plugins/project.plugin.zsh'

This commit is contained in:
Simon Vieille 2023-05-21 11:19:35 +02:00
parent 4c1059128a
commit 2b18bb3c49

View file

@ -5,6 +5,16 @@ _project() {
compadd $(find $_PROJECT_DIR -maxdepth 1 -type l | sed 's#^\(.*\)/\([a-zA-Z0-9\._ -]*\)$#\2#g')
}
gcll () {
REPO="$1"
DEST="$2"
if [ -z "$DEST" ]
then
DEST="$(basename "$REPO" | sed 's/\.git$//')"
fi
git clone "$REPO" && cd "$DEST"
}
repo() {
if [ "$1" = "-n" -a -n "$2" ]; then
TO="$3"