···

       
5
       
5
       
 
       
  # Escape a path according to the systemd rules, e.g. /dev/xyzzy

     

       
6
       
6
       
 
       
  # becomes dev-xyzzy.  FIXME: slow.

     

       
7
       
7
       
 
       
  escapeSystemdPath = s:

     

       
8
       
8
       
-
       
   replaceChars ["/" "-" " "] ["-" "\\x2d" "\\x20"] (substring 1 (stringLength s) s);

     

       
8
       
8
       
+
       
   replaceChars ["/" "-" " "] ["-" "\\x2d" "\\x20"]

     

       
9
       
9
       
+
       
    (if hasPrefix "/" s then substring 1 (stringLength s) s else s);

     

       
9
       
10
       
 
       


     

       
10
       
11
       
 
       
}