Je travaille avec TeX Live sous debian GNU/Linux. Aujourd'hui je tape dans mon terminal la commande `texdoc tikz` pour accéder à la documentation de Ti*k*Z... et quelle n'est pas ma surprise ! $ texdoc tikz $ This tool has been deprecated, use 'gio open' instead. See 'gio help open' for more info. La documentation désirée s'est quand même ouverte, mais je m'interroge. `texdoc`, *deprecated*, vraiment ? J'ai du mal à y croire. Du coup je tape `gio help open tikz`, ça ne fonctionne pas, j'essaie d'autres trucs, comme `gio open tikz`... rien ne fonctionne. Quelque linuxien pourrait-il m'éclairer sur la commande `gio` ?

Je travaille avec TeX Live sous debian GNU/Linux. Aujourd'hui je tape dans mon terminal la commande `texdoc tikz` pour accéder à la documentation de Ti*k*Z... et quelle n'est pas ma surprise ! $ texdoc tikz $ This tool has been deprecated, use 'gio open' instead. See 'gio help open' for more info. La documentation désirée s'est quand même ouverte, mais je m'interroge. m'interroge. `texdoc`, *deprecated*, vraiment ? J'ai du mal à y croire. Du coup je tape `gio help open tikz`, ça ne fonctionne pas, j'essaie d'autres trucs, comme `gio open tikz`... rien ne fonctionne. fonctionne. Quelque linuxien pourrait-il m'éclairer sur la commande `gio` ?

Je travaille sous debian GNU/Linux. Aujourd'hui je tape dans mon terminal la commande `texdoc tikz` pour accéder à la documentation de Ti*k*Z... et quelle n'est pas ma surprise ! $ texdoc tikz $ This tool has been deprecated, use 'gio open' instead. See 'gio help open' for more info. La documentation désirée s'est quand même ouverte, mais je m'interroge. `texdoc`, *deprecated*, vraiment ? Du coup je tape `gio help open tikz`, ça ne fonctionne pas, j'essaie d'autres trucs, rien ne fonctionne. Quelque linuxien pourrait-il m'éclairer sur la commande `gio` ?