minix/commands/scripts/minixsize.sh

#!/bin/sh
t=/usr/src/etc/binary_sizes
if [ "$1" = big ]
then t=$t.big
fi
if [ -f $t ]
then	cat "$t" | while read line
	do	awk '{ print "chmem =" $2 " " $1 }'
	done | /bin/sh
fi
Started making 'smallminix' script, that does various chmems to make minix run in smaller machines 2005-08-26 14:53:17 +02:00			`#!/bin/sh`
Preparing for minix sizer 2005-08-30 12:20:39 +02:00			`t=/usr/src/etc/binary_sizes`
			`if [ "$1" = big ]`
			`then t=$t.big`
			`fi`
			`if [ -f $t ]`
			`then cat "$t" \| while read line`
			`do awk '{ print "chmem =" $2 " " $1 }'`
			`done \| /bin/sh`
			`fi`