root/manjaro-tools
1
0
Fork 0
forked from mirrored-repos/manjaro-tools
Code Pull requests Activity

[util] die instead of abort

Browse source
This commit is contained in:
udeved 2016-05-23 03:06:40 +02:00 committed by Philip
parent 0b138d9132
commit f729d6cc0e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lib/util.sh
View file

@ -58,7 +58,7 @@ check_user_repos_conf(){
for repo in ${repositories[@]}; do for repo in ${repositories[@]}; do
msg2 "parsing repo [%s] ..." "${repo}" msg2 "parsing repo [%s] ..." "${repo}"
parse_section "${repo}" "$1" parse_section "${repo}" "$1"
[[ ${pc_value} == $uri* ]] && abort "Using local repositories is not supported!" [[ ${pc_value} == $uri* ]] && die "Using local repositories is not supported!"
done done
} }