---
name: "gnomine"
section: "1"
platform: "linux"
package: "gnome-gnomine"
version: "1.4.0.3-6.1"
release: "Debian 3.0 (Woody)"
platforms: ["linux"]
url: "https://new.carta.tech/gnomine"
---

# gnomine(1)

manual page for Gnome gnomine 1.4.0.3

## 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*