| changeset 10511 | efb3428c9879 |
| parent 9974 | 5361a27c1853 |
| child 10555 | 2323ec838401 |
| 10510:d243553849ec | 10511:efb3428c9879 |
|---|---|
5 # License: GPL (GNU GENERAL PUBLIC LICENSE) |
5 # License: GPL (GNU GENERAL PUBLIC LICENSE) |
6 # |
6 # |
7 # DESCRIPTION: install symbol fonts on the current X11 server |
7 # DESCRIPTION: install symbol fonts on the current X11 server |
8 |
8 |
9 |
9 |
10 PRG=$(basename "$0") |
10 PRG="$(basename "$0")" |
11 |
11 |
12 function usage() |
12 function usage() |
13 { |
13 { |
14 echo |
14 echo |
15 echo "Usage: $PRG [OPTIONS]" |
15 echo "Usage: $PRG [OPTIONS]" |