Retourner au contenu associé (entrée de forum : Personnalisation du prompt bash)
Posté par Gil Cot ✔ (site web personnel, Mastodon) le 11 janvier 2021 à 11:33. En réponse au message Personnalisation du prompt bash. Évalué à 3. Dernière modification le 11 janvier 2021 à 11:37.
le sed 's/Raspberry//;s/Model//;s/Rev.*//;s/ //g' < /proc/device-tree/model peut être remplacé par sed -r -r 's/(Raspberry|Model|Rev.*$| )//g' /proc/device-tree/model
sed 's/Raspberry//;s/Model//;s/Rev.*//;s/ //g' < /proc/device-tree/model
sed -r -r 's/(Raspberry|Model|Rev.*$| )//g' /proc/device-tree/model
"It is seldom that liberty of any kind is lost all at once." ― David Hume
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Résolu !
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au message Personnalisation du prompt bash. Évalué à 3. Dernière modification le 11 janvier 2021 à 11:37.
le
sed 's/Raspberry//;s/Model//;s/Rev.*//;s/ //g' < /proc/device-tree/modelpeut être remplacé parsed -r -r 's/(Raspberry|Model|Rev.*$| )//g' /proc/device-tree/model"It is seldom that liberty of any kind is lost all at once." ― David Hume