|
|
Manpages
Manpage of GNOME
GNOME
Section: User Commands (1) Updated: February 2002 Index
Return to Main Contents
NAME
Gnome - manual page for Gnome gnomine 1.4.0.3
SYNOPSIS
gnomine
[OPTION...]
DESCRIPTION
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
Help options
- -?, --help
-
Show this help message
- --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
gnomine options
- -x=X
-
Width of grid
- -y=Y
-
Height of grid
- -s=SIZE
-
Size of mines
- -n=NUMBER
-
Number of mines
-
-f=ARG
-
-a=X
-
-b=Y
Index
- NAME
-
- SYNOPSIS
-
- DESCRIPTION
-
This document was created by
man2html,
using the manual pages.
Time: 03:57:39 GMT, April 27, 2024
|