web-dev-qa-db-fra.com

Pourquoi "man x-terminal-emulator" renvoie-t-il la sortie de "man gnome-terminal"?

Je sais ce que x-terminal-emulator est et ce qu'il fait, mais je ne comprends pas pourquoi il n'existe pas de page de manuel spéciale lui permettant d'être redirigé vers la page de manuel de gnome-terminal. Je voudrais voir une page de manuel expliquant ce que x-terminal-emulator fait exactement et dans cette page une référence à man gnome-terminal.

Est-ce correct (si oui, pourquoi, par exemple, la sortie de man dir ne renvoie pas la sortie de man ls)? Y at-il une bonne motivation derrière ce fait?

command-linegnome-terminalmanpage
6
user283450

x-terminal-emulator est un virtuelpackage . L'émulateur de terminal est configuré par système alternatif de Debian.

Sur Ubuntu, vous pouvez facilement suivre cette construction de lien symbolique, par exemple. pour gnome-terminal:

$ which x-terminal-emulator
/usr/bin/x-terminal-emulator
$ ll /usr/bin/x-terminal-emulator
/usr/bin/x-terminal-emulator -> /etc/alternatives/x-terminal-emulator*
$ ls -al /etc/alternatives/x-terminal-emulator
/etc/alternatives/x-terminal-emulator -> /usr/bin/gnome-terminal.wrapper*

En ce qui concerne les pages de manuel, update-alternatives relie également la page de manuel de gnome-terminal à x-terminal-emulator, comme expliqué dans le manuel update-alternatives:

   It is often useful for a number of alternatives to be synchronized,  so
   that they are changed as a group; for example, when several versions of
   the  vi(1)  editor  are  installed,  the   man   page   referenced   by
   /usr/share/man/man1/vi.1 should correspond to the executable referenced
   by /usr/bin/vi.  update-alternatives handles this by  means  of  master
   and  slave links; when the master is changed, any associated slaves are
   changed too.  A master link and its associated slaves make  up  a  link
   group.

Source

5
Sylvain Pineau

Vous pouvez courir en bash, pour suivre le lien:

$ readlink -f $(command -v x-terminal-emulator)
/usr/bin/gnome-terminal.wrapper

et/ou:

$ update-alternatives --display x-terminal-emulator
x-terminal-emulator - auto mode
  link currently points to /usr/bin/gnome-terminal.wrapper
/usr/bin/gnome-terminal.wrapper - priority 40
  slave x-terminal-emulator.1.gz: /usr/share/man/man1/gnome-terminal.1.gz
/usr/bin/lxterm - priority 30
  slave x-terminal-emulator.1.gz: /usr/share/man/man1/lxterm.1.gz
/usr/bin/uxterm - priority 20
  slave x-terminal-emulator.1.gz: /usr/share/man/man1/uxterm.1.gz
/usr/bin/xterm - priority 20
  slave x-terminal-emulator.1.gz: /usr/share/man/man1/xterm.1.gz
Current 'best' version is '/usr/bin/gnome-terminal.wrapper'.

Remarque: la page de manuel est également liée à gnome-terminal.1.gz.

0
jfs