diff options
| -rwxr-xr-x | release/bininst | 2 | ||||
| -rw-r--r-- | release/cpio_flp_1.conf | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/release/bininst b/release/bininst index b42e20a..cb31e53 100755 --- a/release/bininst +++ b/release/bininst @@ -200,7 +200,7 @@ should also, of course, be exported!\n\n" \ if ! handle_rval $?; then continue; fi media_type=nfs nfs_path=`cat ${TMP}/inputbox.tmp.$$` - if ! mount $nfs_path /mnt > /dev/ttyv1 2>&1; then + if ! mount_nfs $nfs_path /mnt > /dev/ttyv1 2>&1; then error "Unable to mount $nfs_path" else media_device=$nfs_path diff --git a/release/cpio_flp_1.conf b/release/cpio_flp_1.conf index 082b3d6..01f6f9c 100644 --- a/release/cpio_flp_1.conf +++ b/release/cpio_flp_1.conf @@ -21,7 +21,8 @@ ln sh -sh # init invokes the shell this way # /sbin stuff progs badsect chown clri disklabel dump dmesg fdisk fsck ifconfig init -progs mknod mount mount_cd9660 mount_msdos newfs ping reboot restore swapon umount route +progs mknod mount mount_cd9660 mount_msdos mount_nfs newfs ping reboot +progs restore swapon umount route ln dump rdump ln restore rrestore ln reboot halt |
