editor
621
modifications
« Wmii » : différence entre les versions
Aller à la navigation
Aller à la recherche
m
→Configuration par défaut : chg "dossier" par "répertoire"
m (→Configuration par défaut : chg "dossier" par "répertoire") |
|||
| (3 versions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 19 : | Ligne 19 : | ||
== Configuration par défaut == | == Configuration par défaut == | ||
Lors de son installation Wmii crée le fichier '''/etc/X11/wmii-3.5/wmiirc'''. Celui-ci est un script exécutable contenant la configuration par défaut prévue par l'équipe de développement du projet. | Lors de son installation Wmii crée le fichier '''/etc/X11/wmii-3.5/wmiirc'''. Celui-ci est un script exécutable contenant la configuration par défaut prévue par l'équipe de développement du projet. | ||
Ce script est exécuté automatiquement à l'ouverture de Wmii, sauf s'il existe dans votre | Ce script est exécuté automatiquement à l'ouverture de Wmii, sauf s'il existe dans votre répertoire personnel un fichier '''/.wmii-3.5/wmiirc'''. Ce dernier sera alors prioritaire, manière commode de réaliser une configuration personnelle sans détruire la configuration de base, ainsi que d'avoir un comportement par utilisateur. | ||
Ce fichier n'étant pas créé par défaut, créez-le vous même par une simple copie de l'original : | Ce fichier n'étant pas créé par défaut, créez-le vous même par une simple copie de l'original : | ||
| Ligne 455 : | Ligne 455 : | ||
fi | fi | ||
</pre> placé, ici, dans le dossier caché .scripts du dossier personnel... ( À modifier, bien entendu, avec vos propres identifiants ) | </pre> placé, ici, dans le dossier caché .scripts du dossier personnel... ( À modifier, bien entendu, avec vos propres identifiants ) | ||
Voici un autre exemple de personnalisation de la barre de statut qui affiche le morceau joué par [http://fr.wikipedia.org/wiki/Music_Player_Daemon mpd] et le statut de la batterie (pour un ordinateur portable donc) en plus des options par défaut : | |||
# Status Bar Info | |||
status() { | |||
echo -n $(mpc | grep "-") `mpc | grep "%)" | cut -d '#' -f 1` `mpc | grep "%)" | cut -d '(' -f 2 | cut -d ')' -f 1` '|'$(uptime | sed 's/.*://; s/,//g') '|' $(cat /sys/$ | |||
) | |||
} | |||
==== Gestion des évenements ==== | ==== Gestion des évenements ==== | ||