basename `dev`
Ezechiele
in uno script bash devo estrarre la parte finale del nome di una
cartella, ma l'istruzione
basename `dev` emette un errore se il nome della cartella contiene degli
spazi. Come posso risolvere ?
Francesco
Roberto Divia`
> in uno script bash devo estrarre la parte finale del nome di una
> cartella, ma l'istruzione
>
> basename `dev` emette un errore se il nome della cartella contiene degli
> spazi. Come posso risolvere ?
Che e` "basename `dev`"? Non ha senso...
Se:
dev="/a/b c/d"
allora:
basename $a => b (ovviamente sbagliato, ma niente messaggi di errore!)
basename "$a" => d (giusto)
Ciao,
-- Roberto
Ezechiele
> Se:
>
> dev="/a/b c/d"
>
> allora:
>
> basename $a => b (ovviamente sbagliato, ma niente messaggi di errore!)
> basename "$a" => d (giusto)
>
> Ciao,
> -- Roberto
Scusa, avevo scritto male, forse stavo ancora dormendo, o pensavo ad
altro, volevo scrivere:
basename `pwd'
Ezechiele
> usando un bel 'echo nomedir | sed ...`
>
> Davide
Scusami, ma avrei dovuto scrivere basename `pwd` ed invece è uscito
basename `dev`
Vide
> basename `pwd'
basename "`pwd`"
--
Vide
Ezechiele
> Ezechiele wrote:
>
>> basename `pwd'
>
> basename "`pwd`"
Ok, grazie, funziona.
Francesco
Vide
>> basename "`pwd`"
>
> Ok, grazie, funziona.
Per leggibilità comunque è meglio
basename "$(pwd)"
--
Vide