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