Re: changer de pager
On Sat, Aug 11, 2018 at 01:47:08PM +0200, Bernard Schoenacker wrote: > merci pour la réponse Je t'en prie Bernard ! (J'ai dis « le plus simplement du monde », parce que, en l'occurrence, le complètement automatique permet de découvrir sans même RTFM). -- ___ | $ post_tenebras ↲ | waouh! | GNU\ /|\ | -- * -- | o | $ who ↲/ \|_-- ~_| | Alexandre Hoïde | _/| | ---
Re: changer de pager
- Mail original - > De: "Alexandre Hoïde" > À: debian-user-french@lists.debian.org > Envoyé: Samedi 11 Août 2018 13:18:50 > Objet: Re: changer de pager > > On Sat, Aug 11, 2018 at 01:09:22PM +0200, Bernard Schoenacker wrote: > > à l'aide de update-alternative je recherche le moyen de modifier > > la sélection du pager pour le basculer vers most > > > > comment faire de nouveau, désolé mais je deviens poisson rouge > > Salut Bernard… bin, le plus simplement du monde : > > $ sudo update-alternatives --config pager > > Non ?! > > -- > ___ > | $ post_tenebras ↲ | waouh! > | GNU\ /|\ > | -- * -- | o > | $ who ↲/ \|_-- ~_| > | Alexandre Hoïde | _/| | > --- > bonjour, merci pour la réponse slt bernard
Re: changer de pager
On Sat, Aug 11, 2018 at 01:09:22PM +0200, Bernard Schoenacker wrote: > à l'aide de update-alternative je recherche le moyen de modifier > la sélection du pager pour le basculer vers most > > comment faire de nouveau, désolé mais je deviens poisson rouge Salut Bernard… bin, le plus simplement du monde : $ sudo update-alternatives --config pager Non ?! -- ___ | $ post_tenebras ↲ | waouh! | GNU\ /|\ | -- * -- | o | $ who ↲/ \|_-- ~_| | Alexandre Hoïde | _/| | ---
changer de pager
bonjour, à l'aide de update-alternative je recherche le moyen de modifier la sélection du pager pour le basculer vers most comment faire de nouveau, désolé mais je deviens poisson rouge merci slt bernard