Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
| public:recettes_diverses [2023/02/21 17:23] – [Changer la timezone sur Debian] ps | public:recettes_diverses [2023/10/12 08:33] (Version actuelle) – [Déployer un site Web avec Git] ps | ||
|---|---|---|---|
| Ligne 56: | Ligne 56: | ||
| Pour **tomcat8**, | Pour **tomcat8**, | ||
| - | Cf. également | + | Cf. également |
| ===== Git : redéfinir une origine ===== | ===== Git : redéfinir une origine ===== | ||
| Ligne 127: | Ligne 127: | ||
| ===== Nettoyer les codes ANSI dans un fichier obtenu après une redirection ===== | ===== Nettoyer les codes ANSI dans un fichier obtenu après une redirection ===== | ||
| - | Une redirection shell, avec ''>'', | + | Une redirection shell, avec ''>'', |
| La commande '' | La commande '' | ||