[Users] Q. re: tags (tagging locally-saved messages for use outside Claws)

[Ralf Mardorf]

Using the same shell for both commands "printf" is faster than
"basename", but using "bash" + "printf" is slower than using
"dash" + "basename".

[rocketmouse at archlinux ~]$ time bash -c "for i in seq 1 100000000000000000; do printf "${PWD##*/}\n" >/dev/null; done"

real	0m0.009s
user	0m0.007s
sys	0m0.000s
[rocketmouse at archlinux ~]$ time dash -c "for i in seq 1 100000000000000000; do basename "$PWD" >/dev/null; done"
real	0m0.005s
user	0m0.000s
sys	0m0.000s