diff options
| author | Thomas Lübking <thomas.luebking@gmail.com> | 2016-07-02 12:10:56 (GMT) |
|---|---|---|
| committer | Mathias Gumz <akira@fluxbox.org> | 2016-07-03 07:30:51 (GMT) |
| commit | 7525226fe2fdf9ea2461311c98aa820fddc39e77 (patch) | |
| tree | 1c0b1c787a07e94c7150b960f80ba92326c752d4 /src/HeadArea.hh | |
| parent | abd5c9e478ac99f457a1df6292729b615f58bbda (diff) | |
| download | fluxbox-7525226fe2fdf9ea2461311c98aa820fddc39e77.zip fluxbox-7525226fe2fdf9ea2461311c98aa820fddc39e77.tar.bz2 | |
less bashisms in fluxbox-generate_menu
still works with bash or zsh, but fish (now) complains about "cat << EOF" ...
no "grep -q"
BUG: 961
echo is troublesome
POSIX doesn't know a "local" keyword
BUG: 975
seems double comments ## aren't supported everywhere
BUG: 1057
Diffstat (limited to 'src/HeadArea.hh')
0 files changed, 0 insertions, 0 deletions