Re: update-alternatives

[Fabrizio Roccato <F.Roccato@isac.cnr.it>]

On Tue, Jan 21, 2003 at 10:07:31PM +0100, Roberto Zanasi wrote:
> Come posso fare per far si' che "awk" sia un alias di gawk e non di
> mawk, come invece e' adesso? 

Do per scontato che tu abbia instalati sia gawk che mawk:

update-alternatives --config awk

e poi selezioni quello dei due che piu ti aggrada

Biko

-- 
------------------------------------------------------------------------------
Ho appreso che quando un neonato afferra con il suo  piccolo pugno, per la
prima volta, il dito di suo padre, lo tiene intrappolato per sempre. (x2)
------------------------------------------------------------------------------