Différences

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

--- eterm [Le 10/11/2008, 00:47]
213.95.41.13
+++ eterm [Le 16/01/2017, 15:21]
L'Africain tags
@@ Ligne 1: / Ligne 1: @@
-{{tag>dapper edgy console système}}
+{{tag>Xenial console système BROUILLON}}
 ----
-<note warning>Manipulation similaire mais avec gnome-terminal</note>
 ====== Installer Eterm transparent sur tous les bureaux ======
@@ Ligne 9: / Ligne 8: @@
 ===== Installer Eterm et Devil's pie =====
-On installe Eterm (un terminal) et Devil's pie qui permet de configurer Eterm sur tous le bureaux et de le rendre invisible dans la barre de tache.
+On installe Eterm (un terminal) et Devil's pie qui permet de configurer Eterm sur tous le bureaux et de le rendre invisible dans la barre de tache :  [[apt>eterm,devilspie]].
-<code>sudo apt-get install eterm devilspie</code>
-Pour Ubuntu « Gutsy Gibbon » 7.10 il suffit de [[apt://eterm,devilspie|cliquer ici]].
@@ Ligne 20: / Ligne 16: @@
 <code>sudo gedit /home/$USER/.devilspie/eterm.ds</code>
 On y met ceci :
-<code>
+<file>
 (if (is (application_name) "Eterm")
 (begin
@@ Ligne 31: / Ligne 27: @@
 (geometry "+1000+40")
 ))
-</code>
+</file>
 (below) permet de le forcer à rester sous les applications.\\
 (pin) permet de le mettre sur tous les bureaux.\\
 La première ligne geometry donne la taille du terminal (en pixel).\\
-La deuxième ligne gemoetry donne la position du terminal (en pixel).\\
+La deuxième ligne geometry donne la position du terminal (en pixel).\\
 On sauvegarde le document.