From 2fa28d5cd3ff6303563df386b61af75cb19a5c9d Mon Sep 17 00:00:00 2001 From: Jephte Clain Date: Wed, 7 Mar 2018 11:07:35 +0400 Subject: [PATCH] pff: honorer l'ordre de .pff.conf pour le premier profil --- pff | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/pff b/pff index 7eee003..b9a1027 100755 --- a/pff +++ b/pff @@ -338,7 +338,13 @@ function get_user_profiles() { function get_first_profile() { # 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() {