2012-10-12 22:01:49 +01:00
|
|
|
pkgs: with pkgs.lib;
|
|
|
|
|
|
|
|
rec {
|
|
|
|
|
|
|
|
# Escape a path according to the systemd rules, e.g. /dev/xyzzy
|
|
|
|
# becomes dev-xyzzy. FIXME: slow.
|
|
|
|
escapeSystemdPath = s:
|
2014-09-04 02:40:05 +01:00
|
|
|
replaceChars ["/" "-" " "] ["-" "\\x2d" "\\x20"]
|
|
|
|
(if hasPrefix "/" s then substring 1 (stringLength s) s else s);
|
2012-10-12 22:01:49 +01:00
|
|
|
|
2016-06-12 20:03:14 +01:00
|
|
|
# Returns a system path for a given shell package
|
|
|
|
toShellPath = shell:
|
|
|
|
if types.shellPackage.check shell then
|
|
|
|
"/run/current-system/sw${shell.shellPath}"
|
2016-07-04 15:10:51 +01:00
|
|
|
else if types.package.check shell then
|
|
|
|
throw "${shell} is not a shell package"
|
2016-06-12 20:03:14 +01:00
|
|
|
else
|
|
|
|
shell;
|
2012-10-12 22:01:49 +01:00
|
|
|
}
|