Server IP : 85.214.239.14 / Your IP : 3.22.41.80 Web Server : Apache/2.4.62 (Debian) System : Linux h2886529.stratoserver.net 4.9.0 #1 SMP Tue Jan 9 19:45:01 MSK 2024 x86_64 User : www-data ( 33) PHP Version : 7.4.18 Disable Function : pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wifcontinued,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_get_handler,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority,pcntl_async_signals,pcntl_unshare, MySQL : OFF | cURL : OFF | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : OFF Directory : /proc/3/root/usr/share/augeas/lenses/dist/tests/ |
Upload File : |
module Test_vfstab = let simple = "/dev/dsk/c0t0d0s1 /dev/rdsk/c0t0d0s1 /test ufs 1 yes ro\n" let simple_tree = { "1" { "spec" = "/dev/dsk/c0t0d0s1" } { "fsck" = "/dev/rdsk/c0t0d0s1" } { "file" = "/test" } { "vfstype" = "ufs" } { "passno" = "1" } { "atboot" = "yes" } { "opt" = "ro" } } test Vfstab.lns get simple = simple_tree let trailing_ws = "/dev/dsk/c0t0d0s1\t /dev/rdsk/c0t0d0s1\t /test\t ufs\t 1\t yes\t ro \t \n" test Vfstab.lns get trailing_ws = simple_tree (* Now test combinations where unneeded fields can be replaced by dashes and then should not appear in the tree. *) let gen_empty_field(fsck:string) (passno:string) (opt:string) = "/dev/dsk/c0t0d0s1\t " . fsck . "\t /test\t ufs\t " . passno . " yes " . opt . "\t\n" (* Missing fsck *) let no_fsck = gen_empty_field "-" "1" "ro" test Vfstab.lns get no_fsck = { "1" { "spec" = "/dev/dsk/c0t0d0s1" } { "file" = "/test" } { "vfstype" = "ufs" } { "passno" = "1" } { "atboot" = "yes" } { "opt" = "ro" } } test Vfstab.lns put no_fsck after insa "fsck" "/1/spec" ; set "/1/fsck" "/dev/rdsk/c0t0d0s1" = gen_empty_field "/dev/rdsk/c0t0d0s1" "1" "ro" (* Missing passno *) let no_passno = gen_empty_field "/dev/rdsk/c0t0d0s1" "-" "ro" test Vfstab.lns get no_passno = { "1" { "spec" = "/dev/dsk/c0t0d0s1" } { "fsck" = "/dev/rdsk/c0t0d0s1" } { "file" = "/test" } { "vfstype" = "ufs" } { "atboot" = "yes" } { "opt" = "ro" } } test Vfstab.lns put no_passno after insa "passno" "/1/vfstype" ; set "/1/passno" "1" = gen_empty_field "/dev/rdsk/c0t0d0s1" "1" "ro" (* Missing opts *) let no_opts = gen_empty_field "/dev/rdsk/c0t0d0s1" "1" "-" test Vfstab.lns get no_opts = { "1" { "spec" = "/dev/dsk/c0t0d0s1" } { "fsck" = "/dev/rdsk/c0t0d0s1" } { "file" = "/test" } { "vfstype" = "ufs" } { "passno" = "1" } { "atboot" = "yes" } } test Vfstab.lns put no_opts after insa "opt" "/1/atboot" ; insa "opt" "/1/atboot" ; set "/1/opt[1]" "ro" ; set "/1/opt[2]" "fg" = gen_empty_field "/dev/rdsk/c0t0d0s1" "1" "ro,fg" let multi_opts = "/dev/dsk/c0t0d0s1 /dev/rdsk/c0t0d0s1 /test ufs 1 yes ro,nosuid,retry=5,fg\n" let multi_opts_tree = { "1" { "spec" = "/dev/dsk/c0t0d0s1" } { "fsck" = "/dev/rdsk/c0t0d0s1" } { "file" = "/test" } { "vfstype" = "ufs" } { "passno" = "1" } { "atboot" = "yes" } { "opt" = "ro" } { "opt" = "nosuid" } { "opt" = "retry" { "value" = "5" } } { "opt" = "fg" } } test Vfstab.lns get multi_opts = multi_opts_tree (* Local Variables: *) (* mode: caml *) (* End: *)