pff: honorer l'ordre de .pff.conf pour le premier profil

This commit is contained in:
Jephté Clain 2018-03-07 11:07:35 +04:00
parent af006c4db9
commit 2fa28d5cd3
1 changed files with 7 additions and 1 deletions

8
pff
View File

@ -338,7 +338,13 @@ function get_user_profiles() {
function get_first_profile() { function get_first_profile() {
# afficher le premier profil autre que Base du projet pff $1 # afficher le premier profil autre que Base du projet pff $1
get_user_profiles "$@" | head -n1 local profile
profile="${PROFILES[0]}"
if [ -z "$profile" -o "$profile" == Base ]; then
get_user_profiles "$@" | head -n1
else
echo "$profile"
fi
} }
function get_local_files() { function get_local_files() {