ce ne sont pas des commandes. ce sont des Remplacements de paramètres (cf. man bash).
$ var="not empty"
$ echo "${var:+"la variable n'est pas vide"}"
la variable n'est pas vide
$ var=""
$ echo "${var:?"la variable est vide ou inexistante"}"
bash: var: la variable est vide ou inexistante
il faut pratiquer pour comprendre.
Validez la réponse utile « Un problème clairement exposé est à moitié résolu. » Pas de MP technique
commande
× Après avoir cliqué sur "Répondre" vous serez invité à vous connecter pour que votre message soit publié.
× Attention, ce sujet est très ancien. Le déterrer n'est pas forcément approprié. Nous te conseillons de créer un nouveau sujet pour poser ta question.
Validez la réponse utile « Un problème clairement exposé est à moitié résolu. » Pas de MP technique