//usr/share/man/man7/gnome-options.7.gz