TildeClub
/
launcher
mirror of https://github.com/tildeclub/launcher.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

try fix

This commit is contained in:
cremesk 2019-07-29 21:43:00 +02:00
parent 98e018f751
commit 598d88bdcb
No known key found for this signature in database
GPG Key ID: C147C3B7FBDF08D0
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
envs
View File

@ -99,9 +99,9 @@ _EOF_
verify_script_name() { verify_script_name() {
[[ $1 == "" ]] && error_exit "please start over and enter the script name" [[ $1 == "" ]] && error_exit "please start over and enter the script name"
[[ $(type -P "$1") ]] && if [[ $(type "$1" > /dev/null 2>&1) ]]; then
[[ -x $HOME/bin/$1 ]] ||
error_exit "$1 already exists. rename your script and try again." error_exit "$1 already exists. rename your script and try again."
fi
[[ -x /envs/bin/$1 ]] && error_exit "$1 is already taken. rename your script and try again." [[ -x /envs/bin/$1 ]] && error_exit "$1 is already taken. rename your script and try again."
case $1 in case $1 in
about|description|list|ls|submit|about|help|apropos|submit|approve) about|description|list|ls|submit|about|help|apropos|submit|approve)