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 Les deux révisions suivantes | ||
|
eterm [Le 16/01/2017, 15:21] L'Africain tags |
eterm [Le 20/05/2019, 09:06] 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> | ||