Michael Siegel
|
ce71f47fd6
Rename _probe_commands _probe_toolbox
|
4 years ago |
Michael Siegel
|
317382cbe6
Minor modifications in build script
|
4 years ago |
Michael Siegel
|
e76d2f7cc9
_probe_commands(): Redirect stdout of `command -v` to /dev/null
|
4 years ago |
Michael Siegel
|
7a451c8172
Replace `type` with `command -v` in _probe_commands()
|
4 years ago |
Michael Siegel
|
c64ba4fb35
Improve error handling for _probe_commands()
|
4 years ago |
Michael Siegel
|
8c019e0c64
Factor probing for external commands out into a dedicated function
|
4 years ago |
Michael Siegel
|
7a9282a6df
Use `type` to check for availability of commands (replace _is_in_path())
|
4 years ago |
Michael Siegel
|
c73d4b6ca4
Improve _is_in_path()
|
4 years ago |
Michael Siegel
|
b3ae42e2ff
Fix severely broken implementation of _is_in_path() and adjust function call
|
4 years ago |
Michael Siegel
|
0c2dd8e3d2
Minor enhancements
|
4 years ago |
Michael Siegel
|
86efa7efc3
Add function _perr() to handle printing error messages more conveniently
|
4 years ago |
Michael Siegel
|
198a2e8064
Implement checks for external commands (WIP)
|
4 years ago |
Michael Siegel
|
3777326ba3
Give constants uppercase names
|
4 years ago |
Michael Siegel
|
430b7b0f19
Add cropped version of Dragora logo and use it
|
4 years ago |
Michael Siegel
|
dceebaf4eb
Further stylesheet work
|
4 years ago |
Michael Siegel
|
784973b07d
Adjust build script
|
4 years ago |
Michael Siegel
|
8f822c3581
Fix Home link in navigation menu
|
4 years ago |
Michael Siegel
|
9edfcb5127
Work on sub-header CSS
|
4 years ago |
Michael Siegel
|
e11a51b36e
Fix indentation in header and footer markup
|
4 years ago |
Michael Siegel
|
5194d2bcfc
Minor adjustments in _mk_header() and header markup
|
4 years ago |
Michael Siegel
|
3ee38d9b20
Page layout and styling overhaul
|
4 years ago |
Michael Siegel
|
9aceb07817
Improve command to extract page titles
|
4 years ago |
Michael Siegel
|
64db5f88f0
Polish header markup
|
4 years ago |
Michael Siegel
|
2cebd07323
Remove diagnostic 'echo'
|
4 years ago |
Michael Siegel
|
527994da32
Implement page titles in a saner way
|
4 years ago |
Michael Siegel
|
3e86fabb8f
Add global constants defining copyright holders and years (sort of)
|
4 years ago |
Michael Siegel
|
de3239312b
Fix glitch in title generation
|
4 years ago |
Michael Siegel
|
63124e6453
Minor adjustments in build script
|
4 years ago |
Michael Siegel
|
29a52c3e45
Minor improvements in build script
|
4 years ago |
Michael Siegel
|
3d20034fc2
Improve composition of HTML titles
|
4 years ago |