Java Development Exercises
The following shell scripts for use at home are based on the assumption that the GNU time utility has been installed and is available as
/usr/local/bin/time
They will need to be edited if the utility has been installed somewhere else and they cannot be used, at all, or if this has not been installed and the time part utility that is part of the UNIX/Linux shell is to be used instead.