Retourner au contenu associé (entrée de forum : Script permettant d'effectuer un diff entre deux fichiers jour n et jour n-1)
Posté par gUI (Mastodon) le 07 septembre 2022 à 16:06. En réponse au message Script permettant d'effectuer un diff entre deux fichiers jour n et jour n-1. Évalué à 2. Dernière modification le 07 septembre 2022 à 16:07.
Tu dis que ça passe à la main, mais sous quel shell es-tu à la main ? Au lieu de #!/bin/sh as-tu essayé avec #!/bin/bash ?
#!/bin/sh
#!/bin/bash
En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
# Bash ?
Posté par gUI (Mastodon) . En réponse au message Script permettant d'effectuer un diff entre deux fichiers jour n et jour n-1. Évalué à 2. Dernière modification le 07 septembre 2022 à 16:07.
Tu dis que ça passe à la main, mais sous quel shell es-tu à la main ?
Au lieu de
#!/bin/shas-tu essayé avec#!/bin/bash?En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.