Retourner au contenu associé (entrée de forum : Gestionnaire de shell persistant)
Posté par gUI (Mastodon) le 10 janvier 2022 à 11:03. En réponse au message Gestionnaire de shell persistant. Évalué à 2. Dernière modification le 10 janvier 2022 à 11:11.
Rien à ma connaissance, mais par contre tu dois pouvoir bidouiller un truc autour de PROMPT_COMMAND.
Tu te fais une fonction Bash qui sauve tout dans un fichier, et ce sera automatiquement appelé après chaque commande que tu tapes.
Au démarrage, dans ton .bashrc tu récupères ce fichier et tu te remets le contexte.
.bashrc
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é à 2. Dernière modification le 10 janvier 2022 à 11:11.
Rien à ma connaissance, mais par contre tu dois pouvoir bidouiller un truc autour de PROMPT_COMMAND.
Tu te fais une fonction Bash qui sauve tout dans un fichier, et ce sera automatiquement appelé après chaque commande que tu tapes.
Au démarrage, dans ton
.bashrctu récupères ce fichier et tu te remets le contexte.En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.