Retourner au contenu associé (entrée de forum : Alias avec cible changeante.)
Posté par Cyril Brulebois (site web personnel) le 03 février 2019 à 12:56. En réponse au message Alias avec cible changeante.. Évalué à 4.
Alternative au script dédié, dans ~/.bashrc ou équivalent pour le shell de ton choix :
~/.bashrc
mymediainfo() { mediainfo "$@" | grep 'name\|Width\|Height' }
Je ne sais pas trop ce que tu entends par coloriser, tu peux préciser ?
Debian Consultant @ DEBAMAX
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Une fonction
Posté par Cyril Brulebois (site web personnel) . En réponse au message Alias avec cible changeante.. Évalué à 4.
Alternative au script dédié, dans
~/.bashrcou équivalent pour le shell de ton choix :Je ne sais pas trop ce que tu entends par coloriser, tu peux préciser ?
Debian Consultant @ DEBAMAX