Better handling of "custom" setup.

Submitted by:	Randal Masutani <randal@comtest.com>
This commit is contained in:
Andrzej Bialecki 1998-09-29 11:58:54 +00:00
parent 09b41007d5
commit 648e989921
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=39762
2 changed files with 32 additions and 19 deletions

View File

@ -1,7 +1,7 @@
#! /bin/sh -
#
# $Id: clean,v 1.4 1998/09/07 19:00:14 abial Exp $
# $Id: clean,v 1.5 1998/09/19 21:44:42 abial Exp $
#
set -e
@ -14,26 +14,31 @@ fi
if [ "$1" = "all" ]
then
list="dial net isp router"
mv -f picobsd.bin picobsd.bin.old
else
list=$1
mv -f picobsd.bin picobsd.bin.$1
fi
rm -f kernel kernel.kz fs.PICOBSD picobsd.bin *.o *core *.db
rm -f picobsd.bin
rm -f kernel kernel.kz fs.PICOBSD *.o *core *.db
cd ..
rm -f custom
rm -rf help/tmp_hlp
echo "===================== $0 tools started ===================="
for i in `ls -d tinyware/[a-z]*` tools/write_mfs_in_kernel tools/dumpnlist
do
(cd ${i}; \
if [ -f Makefile ]; \
then \
make clean && make cleandepend;\
fi)
done
for j in $list
do
echo "===================== $0 $j started ======================"
for i in `ls -d tinyware/[a-z]*` tools/write_mfs_in_kernel tools/dumpnlist ${j}/crunch1
do
(cd ${i}; \
if [ -f Makefile ]; \
then \
make clean && make cleandepend;\
fi)
done
(cd ${j}/crunch1; \
if [ -f Makefile ]; \
then \
make clean ; \
fi)
echo "=============== $0 $j completed successfuly =============="
done

View File

@ -1,14 +1,22 @@
#!/bin/sh
#
# $Id: install,v 1.3 1998/08/02 01:04:37 abial Exp $
# $Id: install,v 1.1.1.1 1998/08/27 17:38:42 abial Exp $
#
FILENAME=picobsd.bin
echo "Please insert a blank floppy in /dev/fd0."
echo "WARNING: the contents of the floppy will be permanently erased!"
echo "Press ^C to abort, Enter to continue."
read junk
echo "Writing picobsd.bin..."
dd if=picobsd.bin of=/dev/rfd0
echo "Your options:"
echo " * ^C to abort,"
echo " * Enter to install \"${FILENAME}\","
echo " * name of other file to install."
echo ""
read -p "Your choice: " junk
if [ "X${junk}" != "X" ]
then
FILENAME=${junk}
fi
echo "Writing ${FILENAME}..."
dd if=${FILENAME} of=/dev/rfd0
echo "Done."