Différences

Ci-dessous, les différences entre deux révisions de la page.

--- public:recettes_diverses [2023/02/21 17:16] – [Pour une première connexion sur une machine Linux] 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**, le répertoire est **/var/lib/tomcat8/webapps/appli**
-Cf. également  Vagranfile.gz {{ :promo_2023:vagrantfile.gz |}}
+Cf. également  Vagranfile.gz {{ :commun:vagrantfile-git-hook.gz |}}
 ===== Git : redéfinir une origine =====
@@ Ligne 90: / Ligne 90: @@
 ===== Changer la timezone sur Debian =====
+Pour la timezone //Europe/Paris// :
 <code bash>
 sudo timedatectl set-timezone Europe/Paris
@@ Ligne 126: / Ligne 127: @@
 ===== Nettoyer les codes ANSI dans un fichier obtenu après une redirection =====
-Une redirection shell, avec ''>'', ''>>'' ou bien ''script'' capture également les code (parasites) de mise en page ANSI.
+Une redirection shell, avec ''>'', ''>>'' ou bien ''script'' capture également les codes (parasites) de mise en page ANSI.
 La commande ''sed'' ci-dessous permet de nettoyer les codes ANSI du fichier obtenu.