Re: apt - sources e preferences

[/dev/null <devnull@fastwebnet.it>]

On Sun, Jan 20, 2002 at 06:00:33PM +0100, Lo'oRiS il Kabukimono wrote:
> > Comunque le shell piu` comuni (bash, (t)csh, *ksh...) hanno una
> > funzione "builtin" che si chiama kill. Nelle shell suddette,
> > fortunatamente, il comportamento di kill e` identico.
> 
> non so... quì a casa uso bash, e accetta "-s SIGKILL" mentre in facoltà,
> dove si usa tcsh, sicuramente non accetta questo e mi pare qe invece
> voglia "-s KILL" o qualcosa del genere...
In effetti e` vero: bash ignora il prefisso SIG e tcsh no.
Comunque, visto che SIG e` inutile, e come dicevo prima, la cosa piu`
"portable" e`:
% kill -SEGNALE    # (non -SIGSEGNALE) :)

> però non ho mai fatto un "which kill" x sapere cosa stava in realtà
> eseguendo...
tcsh:
% which kill
kill: shell built-in command.
bash
$ type kill
kill is a shell builtin

Ciao,
/dev/null