Retourner au contenu associé (journal : Des bookmarks dans mon terminal !)
Posté par barmic le 10 janvier 2015 à 02:56. En réponse au journal Des bookmarks dans mon terminal !. Évalué à 5.
Je crois que c'est en activant l'option auto_pushd. Ce qui permet avec cd de retrouver tout le comportement de pushd/popd.
Tu peux aussi utiliser des alias de répertoires avec hash -d zsh="/usr/src/zsh". Ce qui a l'avantage de fonctionner partout (avec cp par exemple).
hash -d zsh="/usr/src/zsh"
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: bonne idée mais...
Posté par barmic . En réponse au journal Des bookmarks dans mon terminal !. Évalué à 5.
Je crois que c'est en activant l'option auto_pushd. Ce qui permet avec cd de retrouver tout le comportement de pushd/popd.
Tu peux aussi utiliser des alias de répertoires avec
hash -d zsh="/usr/src/zsh". Ce qui a l'avantage de fonctionner partout (avec cp par exemple).Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)