watch.txt

                                  ┏━━━━━━━━━━━┓
                                  ┃   WATCH   ┃
                                  ┗━━━━━━━━━━━┛

watch COMMANDE          #Exécute COMMANDE toutes les DELAI secondes (par défaut
                        #2), indéfiniment. DELAI correspond au temps entre la
                        #fin de la COMMANDE précédente, et le début de la
                        #nouvelle.
                        #Il n'est possible de spécifier plus d'une commande
                        #qu'en faisant watch bash FILE
                        #Dans un shell interactif, imprime également :
                        #  - sur une première ligne :
                        #     - DELAI
                        #     - COMMANDES
                        #     - la date et heure courante
                        #  - une blank line
                        #  - l'output de COMMANDES
                        #Le terminal est nettoyé avant chaque impression
                        #(notamment la première)
                        #Attention, car les backslashs n'échappent pas, et les
                        #guillemets n'échappent qu'avec la syntaxe :
                        #"'"'$VAR'"'"

-n NOMBRE
--interval=NOMBRE       #DELAI devient NOMBRE (chiffre décimal possible)

-p                      #DELAI correpond au temps entre le début (et non la fin)
--precise               #de la COMMANDE précédente, et le début de la nouvelle

-d                      #Les caractères qui changent entre deux invocations sont
--differences           #mis en surbrillance. La surbrillance ne reste que le
                        #temps d'une invocation.
--differences
=cumulative             #Même chose, mais la surbrillance reste toujours.

-t
--no-title              #N'imprime pas le header dans un shell interactif

-e                      #Plutôt que de lancer watch indéfiniment, l'interrompt
--errexit               #à la première erreur produite

-b                      #Emet un beep lors de l'extinction de watch (le beep est
--beep                  #désactivé sur certains terminaux)

-x
-exec                   #Permet aux guillemets simples d'échapper