blob: 2313613e86aa2074cb7f9c767e2a3fe8cc0e4662 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#!/bin/sh
#
# Operating system commands.
#
if [ "$#" -eq 0 ] ; then
echo usage: `basename $0` 'command [...]'
echo commands:
echo " 0 'title' change icon name and window title"
echo " 1 'title' change icon name"
echo " 2 'title' change window title"
exit
fi
args=
for arg in $@ ; do
if [ "$args" = "" ] ; then
args="$arg"
else
args="$args;$arg"
fi
done
echo -e -n "]"${args}
|
