Manpages
Manpage of GNOTSKI
GNOTSKI
Section: GNOME User's Manual (1) Updated: August 26th, 2001Index
Return to Main Contents
NAME
gnotski - a GNOME puzzle game
SYNOPSIS
gnotski
[ OPTION ... ]
DESCRIPTION
gnotski , part of the
gnome-games package, is a GNOME puzzle game.
OPTIONS
This program follows the usual GNU command line syntax,
with long options starting with two dashes (`--'). A
summary of the options supported by gnotski
is included below.
GNOME options
--disable-sound
Disable sound server usage
--enable-sound
Enable sound server usage
--espeaker= HOSTNAME:PORT
Host:port on which the sound server to use is running
--version
Display version information and exit
Help options
-?, --help
Show help and exit
--usage
Display brief usage message
GTK options
--gdk-debug= FLAGS
Gdk debugging flags to set
--gdk-no-debug= FLAGS
Gdk debugging flags to unset
--display= DISPLAY
X display to use
--sync
Make X calls synchronous
--no-xshm
Don't use X shared memory extension
--name= NAME
Program name as used by the window manager
--class= CLASS
Program class as used by the window
manager
--gxid_host= HOST
--gxid_port= PORT
--xim-preedit= STYLE
--xim-status= STYLE
--gtk-debug= FLAGS
Gtk+ debugging flags to set
--gtk-no-debug= FLAGS
Gtk+ debugging flags to unset
--g-fatal-warnings
Make all warnings fatal
--gtk-module= MODULE
Load an additional Gtk module
GNOME GUI options
--disable-crash-dialog
Session management options
--sm-client-id= ID
Specify session management ID
--sm-config-prefix= PREFIX
Specify prefix of saved configuration
--sm-disable
Disable connection to session manager
gnotski options
-x= ARG
-y= ARG
FILES
~/.gnome/gnotski
Configuration File
BUGS
Please report bugs at http://bugs.gnome.org/ (Link to http://bugs.gnome.org/ ).
SEE ALSO
GNOME (Link to http://www.gnome.org )
AUTHOR
Lars Rydlinge <lars.rydlinge@hig.se >
This man-page was written by Jan Schaumann
<jschauma@netmeister.org > as part of "The Missing
Man Pages Project (Link to http://www.netmeister.org/misc/m2p2/index.html )".
Index
NAME
SYNOPSIS
DESCRIPTION
OPTIONS
GNOME options
Help options
GTK options
GNOME GUI options
Session management options
gnotski options
FILES
BUGS
SEE ALSO
AUTHOR
This document was created by
man2html ,
using the manual pages.
Time: 23:07:48 GMT, April 25, 2024