# This is free software; you can redistribute it and/or modify it under
# the terms of the GNU Library General Public License as published by
# the Free Software Foundation; either version 2 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful, but
# WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
# General Public License for more details.
#
# You should have received a copy of the GNU Library General Public
# License along with this program; if not, write to the Free Software
# Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.


#!/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
printf "]"${args}
