Comment modifier $path sous zsh quand on est un w4rl0rd: # add a new path
path+=(/path/to/add)
# remove a path containing 'substring'
path[(r)*substring*]=()
# remove all double
typeset -U path
Bon c'était pas le sujet, mais c'est tellement pratique que je voulais vous en faire profiter.
[^] # Culture confiture
Posté par calandoa . En réponse au journal Développer une application Android. Évalué à 2.
# add a new path
path+=(/path/to/add)
# remove a path containing 'substring'
path[(r)*substring*]=()
# remove all double
typeset -U path
Bon c'était pas le sujet, mais c'est tellement pratique que je voulais vous en faire profiter.