Notion Wm

Notion ?
Notion est un gestionnaire de fenêtres basé sur ion3. Il est possible de l'utiliser pleinement à l'aide de son clavier.

Raccourcis utiles
Les touches de fonction sont utilisées pour lancer l'aide, la console, les applications, connexions ssh, ...

Gérer les espaces de bureau (workspace)
Les workspace peuvent être subdiviser de différentes manières. La touche Mod1 correspond généralement à la touche Alt Gauche, mais il est possible de la remapper.

Une liste plus exhaustive quant à la disposition des fenêtres est disponible sur le site officiel de notion.

Se déplacer parmi les workspace
Les touches permettant de passer d'un workspace à l'autre sont

Remapper la touche Mod1
Il est préférable de laisser la configuration par défaut et de créer un profil pour l'utilisateur. Il vous suffit de créer le dossier .notion s'il n'existe pas encore, et de copier le fichier cfg_notion.lua dedans.

mkdir ~/.notion && cd ~/.notion && cp /etc/X11/notion/cfg_notion.lua

Une fois le fichier copié, décommentons la ligne --META="Mod1+" et remplaçons la touche Alt Gauche par la touche Windows Gauche. Ce qui donne :

--dopath("cfg_debian") META="Mod4+" --ALTMETA=""

Il ne reste plus qu'à sauvegarder et à recharger notion (F12 - sessions/redémarrer).