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