Retourner au contenu associé (journal : Lassitude ? Solitude ? Jouez avec le shell !)
Posté par Vivi le 05 septembre 2003 à 11:46. En réponse au journal Lassitude ? Solitude ? Jouez avec le shell !. Évalué à 1.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
# Re: Lassitude ? Solitude ? Jouez avec le shell !
Posté par Vivi . En réponse au journal Lassitude ? Solitude ? Jouez avec le shell !. Évalué à 1.
function print-path { echo $PATH | tr ':' '\n' ; }
function push-path { if [ -d "1ドル" ] && ! print-path | egrep -q "^1ドル\$" ; then PATH="1ドル${PATH:+:$PATH}" ; fi ; }
function pop-path { PATH=${PATH#*:} ; }