mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-21 13:28:05 +01:00
72689513a3
This patch adds the --disable-verbose-compile switch to the configure script. When this option is used it reduces the verbosity of compilation messages to the essential. However compiler warnings are not affected and thus gain visibility by not standing in the middle of a storm of other messages. In summary, the compilation messages are reduced to a stream of CC array.o CC bagtree.o CC configuration.o CC connection.o CC data.o [...] instead of a mind-boggling flux of gcc -DHAVE_CONFIG_H -I. -I../src -I../WINGs/WINGs -I../wrlib -I../src -I/usr/include/freetype2 -I/usr/local/include -DLOCALEDIR=\"/usr/local/lib/loca\"/usr/local/share/WINGs\" -DDEBUG -fno-strict-aliasing -g -O2 -c array.c gcc -DHAVE_CONFIG_H -I. -I../src -I../WINGs/WINGs -I../wrlib -I../src -I/usr/include/freetype2 -I/usr/local/include -DLOCALEDIR=\"/usr/local/lib/loca\"/usr/local/share/WINGs\" -DDEBUG -fno-strict-aliasing -g -O2 -c bagtree.c [...]
wm-oldmenu2new - converts between the plain text file menu format to the property list menu format. bughint- gathers some information for bug reporting geticonset- outputs the current set of icon assignments. Good for making themes. setstyle- load style settings from a style file and setup WindowMaker getstyle - gets current style settings and save into a file or create a theme pack. seticons- merges icon definitions into WMWindowAttributes file wmaker.inst- quick and dirty script to install necessary files from global configuration to user's directory. Look in the script to adapt it to your site. wxcopy- copy input file or stdin into X cutbuffer wxpaste- copy content of X cutbuffer into stdout wmsetbg- set the workspace background into a image and make it persist between sessions. wdwrite- write data into the defaults database (configuration files). wdread- read Simple data from defaults database (for use in scripts for example) wmagnify- a program to magnify the area near the mouse pointer, with real-time update wkdemenu.pl- convert a KDE menu into a wmaker menu (for pipe)