Différences

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

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
eterm [Le 16/01/2017, 15:21]
L'Africain tags
eterm [Le 20/05/2019, 09:06] (Version actuelle)
193.250.138.66 [Configuration de Devil's pie]
Ligne 14: Ligne 14:
 On crée un dossier .devilspie dans le dossier home.\\ On crée un dossier .devilspie dans le dossier home.\\
 Dans ce dossier on crée un fichier eterm.ds Dans ce dossier on crée un fichier eterm.ds
-<​code>​sudo gedit /​home/​$USER/​.devilspie/​eterm.ds</​code>​+<​code>​gedit /​home/​$USER/​.devilspie/​eterm.ds</​code>​
 On y met ceci : On y met ceci :
 <​file>​ <​file>​
  • eterm.txt
  • Dernière modification: Le 20/05/2019, 09:06
  • par 193.250.138.66