Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 15405 - Sawfish is missing very useful OPTIONS documentation file
Summary: Sawfish is missing very useful OPTIONS documentation file
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: x86 Linux
: High enhancement (vote)
Assignee: Gentoo Linux Gnome Desktop Team
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2003-02-09 21:25 UTC by Michael Leuchtenburg
Modified: 2003-05-05 18:10 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Michael Leuchtenburg 2003-02-09 21:25:19 UTC
There is a file, named OPTIONS, that does not come with sawfish tarballs, but
should definitely be distributed with it. It lists all of the configuration
options for sawfish. Seeing as the Sawfish developers have been "simplifying"
the GUI to make it easier to use for GNOME users, many options are no longer
accessible through there and can only be configured through .sawfishrc. Without
the OPTIONS file, it is impossible to even know what the options are.

The file can be found in the sawfish CVS, in the root.
http://cvs.gnome.org/lxr/source/sawfish/OPTIONS

Reproducible: Always
Steps to Reproduce:
Comment 1 foser (RETIRED) gentoo-dev 2003-04-04 06:07:43 UTC
if the devs themselves do not consider it important enough to add it, why should we ?
Comment 2 foser (RETIRED) gentoo-dev 2003-05-05 18:10:41 UTC
ok turns out this file is in the tarball, just not installed by our docs line. fixed that in sawfish-1.3

thanks for your report