|
|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
|
wmanager
| wmanager | Select a window manager at X startup | | Priority | |
| Section | x11 |
| Installed size | 128 |
| Maintainer | Tommi Virtanen <tv@debian.org> |
| Architecture | i386 |
| Version | 0.2.1-2.1 |
| Depends | libc6 (>= 2.3.5-1), libfltk1.1 (>= 1.1.6), libgcc1 (>= 1 |
| Suggests | menu (>> 1.5) |
| File name | pool/main/w/wmanager/wmanager_0.2.1-2.1_i386.deb |
| Description | wmanager is a small X11 application for selecting a window manager at X startup. wmanager looks for a file named '.wmmanagerrc' in the user's home directory which contains a list of window managers; you can create such a file with wmanagerrc-update. You can also use wmanager-loop that runs window managers chosen by the user until told to exit. |
|
|
|