2009-02-09 17:51:03 +01:00
|
|
|
|
/* String manipulation functions. */
|
|
|
|
|
|
2009-05-24 12:57:46 +02:00
|
|
|
|
let lib = import ./default.nix;
|
|
|
|
|
|
2014-10-04 17:02:29 +02:00
|
|
|
|
inherit (builtins) length;
|
2009-05-24 12:57:46 +02:00
|
|
|
|
|
|
|
|
|
in
|
2009-02-09 17:51:03 +01:00
|
|
|
|
|
|
|
|
|
rec {
|
2013-11-12 13:48:19 +01:00
|
|
|
|
|
2015-07-24 15:45:41 +02:00
|
|
|
|
inherit (builtins) stringLength substring head tail isString replaceStrings;
|
2009-02-09 17:51:03 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# Concatenate a list of strings.
|
2015-07-24 02:38:46 +02:00
|
|
|
|
concatStrings =
|
|
|
|
|
if builtins ? concatStringsSep then
|
|
|
|
|
builtins.concatStringsSep ""
|
|
|
|
|
else
|
|
|
|
|
lib.foldl' (x: y: x + y) "";
|
2009-02-09 17:51:03 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# Map a function over a list and concatenate the resulting strings.
|
|
|
|
|
concatMapStrings = f: list: concatStrings (map f list);
|
2011-08-19 04:42:34 +02:00
|
|
|
|
concatImapStrings = f: list: concatStrings (lib.imap f list);
|
2012-03-28 17:43:39 +02:00
|
|
|
|
|
2009-02-09 17:51:03 +01:00
|
|
|
|
|
|
|
|
|
# Place an element between each element of a list, e.g.,
|
|
|
|
|
# `intersperse "," ["a" "b" "c"]' returns ["a" "," "b" "," "c"].
|
|
|
|
|
intersperse = separator: list:
|
2012-08-13 20:19:31 +02:00
|
|
|
|
if list == [] || length list == 1
|
2009-02-09 17:51:03 +01:00
|
|
|
|
then list
|
2015-07-24 15:55:39 +02:00
|
|
|
|
else tail (lib.concatMap (x: [separator x]) list);
|
2009-02-09 17:51:03 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# Concatenate a list of strings with a separator between each element, e.g.
|
|
|
|
|
# concatStringsSep " " ["foo" "bar" "xyzzy"] == "foo bar xyzzy"
|
2015-07-24 02:38:46 +02:00
|
|
|
|
concatStringsSep = builtins.concatStringsSep or (separator: list:
|
|
|
|
|
concatStrings (intersperse separator list));
|
2009-02-09 17:51:03 +01:00
|
|
|
|
|
2014-08-25 10:23:10 +02:00
|
|
|
|
concatMapStringsSep = sep: f: list: concatStringsSep sep (map f list);
|
|
|
|
|
concatImapStringsSep = sep: f: list: concatStringsSep sep (lib.imap f list);
|
|
|
|
|
|
2009-02-09 17:51:03 +01:00
|
|
|
|
|
2009-04-05 20:05:11 +02:00
|
|
|
|
# Construct a Unix-style search path consisting of each `subDir"
|
|
|
|
|
# directory of the given list of packages. For example,
|
|
|
|
|
# `makeSearchPath "bin" ["x" "y" "z"]' returns "x/bin:y/bin:z/bin".
|
2012-03-28 17:43:39 +02:00
|
|
|
|
makeSearchPath = subDir: packages:
|
2009-04-05 20:05:11 +02:00
|
|
|
|
concatStringsSep ":" (map (path: path + "/" + subDir) packages);
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# Construct a library search path (such as RPATH) containing the
|
|
|
|
|
# libraries for a set of packages, e.g. "${pkg1}/lib:${pkg2}/lib:...".
|
|
|
|
|
makeLibraryPath = makeSearchPath "lib";
|
2009-02-09 17:51:03 +01:00
|
|
|
|
|
2015-12-10 12:40:38 +01:00
|
|
|
|
# Construct a binary search path (such as $PATH) containing the
|
|
|
|
|
# binaries for a set of packages, e.g. "${pkg1}/bin:${pkg2}/bin:...".
|
|
|
|
|
makeBinPath = makeSearchPath "bin";
|
|
|
|
|
|
2009-02-09 17:51:03 +01:00
|
|
|
|
|
2011-01-05 13:54:37 +01:00
|
|
|
|
# Idem for Perl search paths.
|
|
|
|
|
makePerlPath = makeSearchPath "lib/perl5/site_perl";
|
2012-03-28 17:43:39 +02:00
|
|
|
|
|
2011-01-05 13:54:37 +01:00
|
|
|
|
|
2009-02-09 17:51:03 +01:00
|
|
|
|
# Dependening on the boolean `cond', return either the given string
|
|
|
|
|
# or the empty string.
|
|
|
|
|
optionalString = cond: string: if cond then string else "";
|
|
|
|
|
|
2012-03-28 17:43:39 +02:00
|
|
|
|
|
2014-05-13 11:05:37 +02:00
|
|
|
|
# Determine whether a string has given prefix/suffix.
|
|
|
|
|
hasPrefix = pref: str:
|
2015-07-24 15:48:29 +02:00
|
|
|
|
substring 0 (stringLength pref) str == pref;
|
2014-05-13 11:05:37 +02:00
|
|
|
|
hasSuffix = suff: str:
|
2014-06-10 11:55:25 +02:00
|
|
|
|
let
|
|
|
|
|
lenStr = stringLength str;
|
|
|
|
|
lenSuff = stringLength suff;
|
2014-05-13 11:05:37 +02:00
|
|
|
|
in lenStr >= lenSuff &&
|
2015-07-24 15:48:29 +02:00
|
|
|
|
substring (lenStr - lenSuff) lenStr str == suff;
|
2009-02-09 17:51:03 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# Convert a string to a list of characters (i.e. singleton strings).
|
|
|
|
|
# For instance, "abc" becomes ["a" "b" "c"]. This allows you to,
|
|
|
|
|
# e.g., map a function over each character. However, note that this
|
|
|
|
|
# will likely be horribly inefficient; Nix is not a general purpose
|
|
|
|
|
# programming language. Complex string manipulations should, if
|
|
|
|
|
# appropriate, be done in a derivation.
|
2015-07-24 15:45:41 +02:00
|
|
|
|
stringToCharacters = s:
|
|
|
|
|
map (p: substring p 1 s) (lib.range 0 (stringLength s - 1));
|
2009-02-09 17:51:03 +01:00
|
|
|
|
|
2012-03-28 17:43:39 +02:00
|
|
|
|
|
2015-07-24 15:45:41 +02:00
|
|
|
|
# Manipulate a string charactter by character and replace them by
|
|
|
|
|
# strings before concatenating the results.
|
2009-10-06 11:21:52 +02:00
|
|
|
|
stringAsChars = f: s:
|
|
|
|
|
concatStrings (
|
|
|
|
|
map f (stringToCharacters s)
|
|
|
|
|
);
|
|
|
|
|
|
2012-03-28 17:43:39 +02:00
|
|
|
|
|
2015-07-24 15:45:41 +02:00
|
|
|
|
# Escape occurrence of the elements of ‘list’ in ‘string’ by
|
|
|
|
|
# prefixing it with a backslash. For example, ‘escape ["(" ")"]
|
|
|
|
|
# "(foo)"’ returns the string ‘\(foo\)’.
|
|
|
|
|
escape = list: replaceChars list (map (c: "\\${c}") list);
|
2009-05-06 18:06:41 +02:00
|
|
|
|
|
2012-03-28 17:43:39 +02:00
|
|
|
|
|
2015-07-24 15:45:41 +02:00
|
|
|
|
# Escape all characters that have special meaning in the Bourne shell.
|
2009-05-06 18:06:41 +02:00
|
|
|
|
escapeShellArg = lib.escape (stringToCharacters "\\ ';$`()|<>\t*[]");
|
2009-02-09 17:51:03 +01:00
|
|
|
|
|
2012-03-28 17:43:39 +02:00
|
|
|
|
|
2015-07-24 15:48:29 +02:00
|
|
|
|
# Obsolete - use replaceStrings instead.
|
2015-07-24 15:45:41 +02:00
|
|
|
|
replaceChars = builtins.replaceStrings or (
|
|
|
|
|
del: new: s:
|
2009-10-06 11:21:52 +02:00
|
|
|
|
let
|
2015-07-13 23:46:38 +02:00
|
|
|
|
substList = lib.zipLists del new;
|
2009-10-06 11:21:52 +02:00
|
|
|
|
subst = c:
|
2015-07-13 23:46:38 +02:00
|
|
|
|
let found = lib.findFirst (sub: sub.fst == c) null substList; in
|
|
|
|
|
if found == null then
|
|
|
|
|
c
|
|
|
|
|
else
|
|
|
|
|
found.snd;
|
2009-10-06 11:21:52 +02:00
|
|
|
|
in
|
2015-07-24 15:45:41 +02:00
|
|
|
|
stringAsChars subst s);
|
2009-10-06 11:21:52 +02:00
|
|
|
|
|
2012-03-28 17:43:39 +02:00
|
|
|
|
|
2015-07-24 15:45:41 +02:00
|
|
|
|
# Case conversion utilities.
|
2013-02-09 18:38:26 +01:00
|
|
|
|
lowerChars = stringToCharacters "abcdefghijklmnopqrstuvwxyz";
|
|
|
|
|
upperChars = stringToCharacters "ABCDEFGHIJKLMNOPQRSTUVWXYZ";
|
|
|
|
|
toLower = replaceChars upperChars lowerChars;
|
|
|
|
|
toUpper = replaceChars lowerChars upperChars;
|
|
|
|
|
|
2015-07-24 15:45:41 +02:00
|
|
|
|
|
|
|
|
|
# Appends string context from another string.
|
2014-10-04 17:02:29 +02:00
|
|
|
|
addContextFrom = a: b: substring 0 0 a + b;
|
2013-02-09 18:38:26 +01:00
|
|
|
|
|
2015-07-24 15:45:41 +02:00
|
|
|
|
|
2015-07-24 15:55:39 +02:00
|
|
|
|
# Cut a string with a separator and produces a list of strings which
|
|
|
|
|
# were separated by this separator; e.g., `splitString "."
|
|
|
|
|
# "foo.bar.baz"' returns ["foo" "bar" "baz"].
|
2014-06-10 11:55:25 +02:00
|
|
|
|
splitString = _sep: _s:
|
2009-09-28 20:22:37 +02:00
|
|
|
|
let
|
2014-06-10 11:55:25 +02:00
|
|
|
|
sep = addContextFrom _s _sep;
|
|
|
|
|
s = addContextFrom _sep _s;
|
2009-09-28 20:22:37 +02:00
|
|
|
|
sepLen = stringLength sep;
|
|
|
|
|
sLen = stringLength s;
|
2014-10-04 17:02:29 +02:00
|
|
|
|
lastSearch = sLen - sepLen;
|
2009-09-28 20:22:37 +02:00
|
|
|
|
startWithSep = startAt:
|
|
|
|
|
substring startAt sepLen s == sep;
|
|
|
|
|
|
|
|
|
|
recurse = index: startAt:
|
2014-10-04 17:02:29 +02:00
|
|
|
|
let cutUntil = i: [(substring startAt (i - startAt) s)]; in
|
|
|
|
|
if index < lastSearch then
|
2009-09-28 20:22:37 +02:00
|
|
|
|
if startWithSep index then
|
2014-10-04 17:02:29 +02:00
|
|
|
|
let restartAt = index + sepLen; in
|
2009-09-28 20:22:37 +02:00
|
|
|
|
cutUntil index ++ recurse restartAt restartAt
|
|
|
|
|
else
|
2014-10-04 17:02:29 +02:00
|
|
|
|
recurse (index + 1) startAt
|
2009-09-28 20:22:37 +02:00
|
|
|
|
else
|
|
|
|
|
cutUntil sLen;
|
|
|
|
|
in
|
|
|
|
|
recurse 0 0;
|
2009-10-06 11:21:39 +02:00
|
|
|
|
|
2012-03-28 17:43:39 +02:00
|
|
|
|
|
2009-10-06 11:21:39 +02:00
|
|
|
|
# return the suffix of the second argument if the first argument match its
|
|
|
|
|
# prefix. e.g.,
|
|
|
|
|
# `removePrefix "foo." "foo.bar.baz"' returns "bar.baz".
|
|
|
|
|
removePrefix = pre: s:
|
|
|
|
|
let
|
|
|
|
|
preLen = stringLength pre;
|
|
|
|
|
sLen = stringLength s;
|
|
|
|
|
in
|
2014-05-08 13:07:02 +02:00
|
|
|
|
if hasPrefix pre s then
|
|
|
|
|
substring preLen (sLen - preLen) s
|
2009-10-06 11:21:39 +02:00
|
|
|
|
else
|
|
|
|
|
s;
|
|
|
|
|
|
2014-05-09 15:50:40 +02:00
|
|
|
|
removeSuffix = suf: s:
|
|
|
|
|
let
|
|
|
|
|
sufLen = stringLength suf;
|
|
|
|
|
sLen = stringLength s;
|
|
|
|
|
in
|
2015-07-24 15:48:29 +02:00
|
|
|
|
if sufLen <= sLen && suf == substring (sLen - sufLen) sufLen s then
|
2014-05-09 15:50:40 +02:00
|
|
|
|
substring 0 (sLen - sufLen) s
|
|
|
|
|
else
|
|
|
|
|
s;
|
|
|
|
|
|
2012-03-19 19:04:47 +01:00
|
|
|
|
# Return true iff string v1 denotes a version older than v2.
|
|
|
|
|
versionOlder = v1: v2: builtins.compareVersions v2 v1 == 1;
|
|
|
|
|
|
2012-10-05 19:45:27 +02:00
|
|
|
|
|
2013-07-17 11:14:26 +02:00
|
|
|
|
# Return true iff string v1 denotes a version equal to or newer than v2.
|
|
|
|
|
versionAtLeast = v1: v2: !versionOlder v1 v2;
|
|
|
|
|
|
|
|
|
|
|
2016-01-05 20:08:22 +01:00
|
|
|
|
# This function takes an argument that's either a derivation or a
|
|
|
|
|
# derivation's "name" attribute and extracts the version part from that
|
|
|
|
|
# argument. For example:
|
|
|
|
|
#
|
|
|
|
|
# lib.getVersion "youtube-dl-2016.01.01" ==> "2016.01.01"
|
|
|
|
|
# lib.getVersion pkgs.youtube-dl ==> "2016.01.01"
|
|
|
|
|
getVersion = x: (builtins.parseDrvName (x.name or x)).version;
|
2012-10-05 19:45:27 +02:00
|
|
|
|
|
|
|
|
|
|
2013-02-24 19:28:38 +01:00
|
|
|
|
# Extract name with version from URL. Ask for separator which is
|
2015-07-24 15:48:29 +02:00
|
|
|
|
# supposed to start extension.
|
|
|
|
|
nameFromURL = url: sep:
|
|
|
|
|
let
|
|
|
|
|
components = splitString "/" url;
|
|
|
|
|
filename = lib.last components;
|
|
|
|
|
name = builtins.head (splitString sep filename);
|
|
|
|
|
in assert name != filename; name;
|
2012-09-13 11:59:23 +02:00
|
|
|
|
|
2013-02-24 19:28:24 +01:00
|
|
|
|
|
|
|
|
|
# Create an --{enable,disable}-<feat> string that can be passed to
|
|
|
|
|
# standard GNU Autoconf scripts.
|
|
|
|
|
enableFeature = enable: feat: "--${if enable then "enable" else "disable"}-${feat}";
|
|
|
|
|
|
2015-07-23 17:41:35 +02:00
|
|
|
|
|
2015-07-24 15:48:29 +02:00
|
|
|
|
# Create a fixed width string with additional prefix to match
|
|
|
|
|
# required width.
|
2015-03-08 18:29:14 +01:00
|
|
|
|
fixedWidthString = width: filler: str:
|
|
|
|
|
let
|
|
|
|
|
strw = lib.stringLength str;
|
|
|
|
|
reqWidth = width - (lib.stringLength filler);
|
|
|
|
|
in
|
|
|
|
|
assert strw <= width;
|
|
|
|
|
if strw == width then str else filler + fixedWidthString reqWidth filler str;
|
|
|
|
|
|
2015-07-23 17:41:35 +02:00
|
|
|
|
|
2015-07-24 15:48:29 +02:00
|
|
|
|
# Format a number adding leading zeroes up to fixed width.
|
2015-03-08 18:29:14 +01:00
|
|
|
|
fixedWidthNumber = width: n: fixedWidthString width "0" (toString n);
|
2015-08-06 19:55:42 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# Check whether a value is a store path.
|
|
|
|
|
isStorePath = x: builtins.substring 0 1 (toString x) == "/" && dirOf (builtins.toPath x) == builtins.storeDir;
|
|
|
|
|
|
2015-11-24 10:00:44 +01:00
|
|
|
|
# Convert string to int
|
|
|
|
|
# Obviously, it is a bit hacky to use fromJSON that way.
|
|
|
|
|
toInt = str:
|
|
|
|
|
let may_be_int = builtins.fromJSON str; in
|
|
|
|
|
if builtins.isInt may_be_int
|
|
|
|
|
then may_be_int
|
|
|
|
|
else throw "Could not convert ${str} to int.";
|
|
|
|
|
|
2015-12-13 02:33:02 +01:00
|
|
|
|
# Read a list of paths from `file', relative to the `rootPath'. Lines
|
|
|
|
|
# beginning with `#' are treated as comments and ignored. Whitespace
|
|
|
|
|
# is significant.
|
|
|
|
|
readPathsFromFile = rootPath: file:
|
|
|
|
|
let
|
|
|
|
|
root = toString rootPath;
|
|
|
|
|
lines =
|
|
|
|
|
builtins.map (lib.removeSuffix "\n")
|
|
|
|
|
(lib.splitString "\n" (builtins.readFile file));
|
|
|
|
|
removeComments = lib.filter (line: !(lib.hasPrefix "#" line));
|
|
|
|
|
relativePaths = removeComments lines;
|
|
|
|
|
absolutePaths = builtins.map (path: builtins.toPath (root + "/" + path)) relativePaths;
|
|
|
|
|
in
|
|
|
|
|
absolutePaths;
|
|
|
|
|
|
2009-02-24 17:19:08 +01:00
|
|
|
|
}
|