Retourner au contenu associé (entrée de forum : Gestionnaire de shell persistant)
Posté par gUI (Mastodon) le 10 janvier 2022 à 10:00. En réponse au message Gestionnaire de shell persistant. Évalué à 3.
Mmmm... je crois que j'ai compris.
$ pwd /home/moi $ cd toto $ pwd /home/moi/toto $ reboot
$ pwd /home/moi/toto
C'est ça ?
En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Cas d'usage ?
Posté par gUI (Mastodon) . En réponse au message Gestionnaire de shell persistant. Évalué à 3.
Mmmm... je crois que j'ai compris.
1/ lancement du bash
2/ reboot
3/ lancement bash
C'est ça ?
En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.