Compare commits
2 Commits
2016-07-12
...
2016-07-15
| Author | SHA1 | Date | |
|---|---|---|---|
| 50083e7d93 | |||
| a5f3e7f87d |
@@ -14,6 +14,9 @@
|
|||||||
idea.idea-community
|
idea.idea-community
|
||||||
gcc # pour les appels depuis les scripts
|
gcc # pour les appels depuis les scripts
|
||||||
|
|
||||||
|
# Documentation
|
||||||
|
zeal
|
||||||
|
|
||||||
## Gestion des sources
|
## Gestion des sources
|
||||||
# git # déjà présent dans "base"
|
# git # déjà présent dans "base"
|
||||||
git-cola
|
git-cola
|
||||||
|
|||||||
@@ -23,6 +23,7 @@
|
|||||||
# Environement de bureau
|
# Environement de bureau
|
||||||
wmname # pour définir le nom du gestionnaire de fenêtre (utile pour java)
|
wmname # pour définir le nom du gestionnaire de fenêtre (utile pour java)
|
||||||
kde4.ksnapshot# capture d'écran
|
kde4.ksnapshot# capture d'écran
|
||||||
|
xorg.xkill # pour 'tuer une application'
|
||||||
|
|
||||||
## Gestionnaire de fenêtre & Thème
|
## Gestionnaire de fenêtre & Thème
|
||||||
gnome.gnome_icon_theme # thème d'icone - semble fonctionner avec spaceFM
|
gnome.gnome_icon_theme # thème d'icone - semble fonctionner avec spaceFM
|
||||||
|
|||||||
Reference in New Issue
Block a user