/pliant/fullpliant/doc/fullpliant.page
 
 1  module "/pliant/language/context.pli" 
 2  module "/pliant/language/unsafe.pli" 
 3  module "/pliant/language/stream.pli" 
 4  module "/pliant/admin/file.pli" 
 5  module "/pliant/admin/execute.pli" 
 6  module "/pliant/linux/network/net.pli" 
 7  module "/pliant/util/network/ping.pli" 
 8  module "/pliant/fullpliant/embedded/boot.pli" 
 9  module "/pliant/fullpliant/shutdown.pli" 
 10   
 11  if computer_fullname<>"helene.heliogroup.fr" 
 12    return 
 13  requires "local" 
 14   
 15  title "FullPliant on "+computer_fullname 
 16   
 17   
 18  header "Applications" 
 19   
 20    if user_name<>"" 
 21      link "Mail" "/pliant/browse/mail/" ; eol 
 22   
 23   
 24  header "Network" 
 25   
 26    [Internet: ] 
 27    button "connect" noeol 
 28      (var Stream s) open "file:/debian/etc/resolv.conf" out+safe 
 29      s writeline "nameserver 10.107.1.1" 
 30      s close 
 31      net_route "0.0.0.0/0.0.0.0" "10.107.1.1" 
 32      net_ping "pliant.cx" 
 33      reload_page 
 34    fixed [ ] 
 35    button "disconnect" 
 36      file_delete "file:/debian/etc/resolv.conf" 
 37      net_discard "0.0.0.0/0.0.0.0" "10.107.1.1" 
 38      net_discard "0.0.0.0/0.0.0.0" "10.107.160.35" 
 39      net_discard "10.0.0.0/255.0.0.0" "" 
 40      net_discard "10.107.160.0/255.255.255.0" "10.107.1.1" 
 41      reload_page 
 42    (var Stream s) open "file:/debian/etc/resolv.conf" in+safe 
 43    var Str l := s readline 
 44    if (l parse "nameserver" "10.107.1.1") 
 45      highlight "Internet connection is on" ; eol 
 46    if (net_ping "10.107.1.1" ".FullPliant ping test." 0.02)=success 
 47      small [Laptop is connected to Briare network.] ; eol 
 48   
 49   
 50  header "Administration" 
 51   
 52    para 
 53      note "mount floppy" 
 54        embedded_command "modprobe floppy" "root" false 
 55        embedded_command "modprobe msdos" "root" false 
 56        module "/pliant/linux/storage/filesystem.pli" 
 57        filesystem_mount "device:/fd0" "embedded:/mnt/floppy/" "filesystem [dq]msdos[dq]" 
 58        reload_page 
 59      fixed [ ] 
 60      note "unmount floppy" 
 61        filesystem_dismount "embedded:/mnt/floppy/" 
 62        reload_page 
 63   
 64    button "Power off" 
 65      title "Power off" 
 66      [Do you really want to power off this computer ? ] 
 67      button "yes" noeol 
 68        shutdown 30 "poweroff" 
 69      button "no" 
 70        goto_backward 
 71     
 72    execute_dynamic_page "pliant:/pliant/protocol/http/login.html" 
 73