What does #0 mean in bash?

Asked Oct 03 '22 at 21:39

Active Oct 03 '22 at 21:39

Viewed 26 times

I try to understand this bash code :

$ var=00.00
$ echo ${var#0}
0.00

It seems that #0 can be used to truncate the end of var but I never saw this notation in bash documentation : https://www.gnu.org/software/bash/manual/bash.html

Anybody can tell me what #0 is exactly ?

Thx!

asked Oct 03 '22 at 21:39

Autechre

It's the same as any `${var#pattern}`; there's nothing special about `0` – Charles Duffy Oct 03 '22 at 21:42
See https://wiki.bash-hackers.org/syntax/pe. Note that it's trimming the _beginning_, not the end; trimming the end would be `${var%pattern}` instead. – Charles Duffy Oct 03 '22 at 21:42
2

BTW, it **is** in the documentation; in https://www.gnu.org/software/bash/manual/bash.html#Shell-Parameter-Expansion, see `${parameter#word}` – Charles Duffy Oct 03 '22 at 21:44
Thx! I didn't manage to find it. – Autechre Oct 03 '22 at 21:48

0 Answers0