10b82e2 · typeable/nix-pills-ru

git.iko.soy/typeable/nix-pills-ru

on master help sign in

Finish the fourth section

10b82e2Alexander Bantyev7 years ago

.#nix.md+1−1

compare with master

unifiedsplit

@@ -1 +1 @@

1−balsoft@AMD-Workstation.27384:1563100420

1+balsoft@ASUS-Laptop.1726:1563884474

nix.md+243−11

@@ -3,8 +3,8 @@ title: Nix

3subtitle: Язык, пакетный менеджер и экосистема

4author: Александр Бантьев @balsoft, typeable.io

5description: |

6− Вольный пересказ nix-pills на русском языке.

6+ Вольный пересказ nix-pills на русском языке.

7− https://nixos.org/nixos/nix-pills, автор Luca Bruno (aka Lethalman)

7+ https://nixos.org/nixos/nix-pills, автор Luca Bruno (aka Lethalman)

8theme: Boadilla

9colortheme: dolphin

10mainfont: Roboto

@@ -13,21 +13,20 @@ aspectratio: 169

13titlegraphic: images/nix.png

14toc: true

15header-includes:

16−- \usepackage[utf8]{inputenc}

16+ - \usepackage[utf8]{inputenc}

17−- \usepackage[russian]{babel}

17+ - \usepackage[russian]{babel}

18−- \uselanguage{Russian}

18+ - \uselanguage{Russian}

19−- \languagepath{Russian}

19+ - \languagepath{Russian}

20−- \usepackage{tikz}

20+ - \usepackage{tikz}

21---

23+# Вступление

24+

23<!--

25<!--

24<meta charset="utf8" />

26<meta charset="utf8" />

25<title>Заметки выступающего</title>

27<title>Заметки выступающего</title>

26−# Заметки выступающего

27-->

28-->

29−# Вступление

30−

31Основано на <https://nixos.org/nixos/nix-pills> . Огромная благодарность @Lethalman и @grahamc за написание и поддержку этого материала!

30Основано на <https://nixos.org/nixos/nix-pills> . Огромная благодарность @Lethalman и @grahamc за написание и поддержку этого материала!

33Я хотел бы, чтобы к концу презентации всем стало понятно

32Я хотел бы, чтобы к концу презентации всем стало понятно

@@ -91,7 +90,7 @@ digraph {

91}

90}

92```

91```

94−

93+

95# Nix как пакетный менеджер

94# Nix как пакетный менеджер

97> Nix is a powerful package manager for Linux and other Unix systems that makes package management reliable and reproducible. It provides atomic upgrades and rollbacks, side-by-side installation of multiple versions of a package, multi-user package management and easy setup of build environments.

96> Nix is a powerful package manager for Linux and other Unix systems that makes package management reliable and reproducible. It provides atomic upgrades and rollbacks, side-by-side installation of multiple versions of a package, multi-user package management and easy setup of build environments.

@@ -302,6 +301,22 @@ nix-repl> /home/balsoft/Документы

302error: path '/home/balsoft/' has a trailing slash

301error: path '/home/balsoft/' has a trailing slash

303```

302```

304

303

304+## `NIX_PATH` и `<nixpkgs>`

305+<!--

306+`NIX_PATH` -- переменная, очень похожая на `PATH` по синтаксису значений (значения разделены двоеточием), в которой nix ищет пути запрошенные через синтаксис `<path>`.

307+-->

308+```

309+$ NIX_PATH=home=$HOME nix repl

310+nix-repl> <home>

311+/home/balsoft

312+^D

313+$ NIX_PATH=/home nix repl

314+nix-repl> <balsoft>

315+/home/balsoft

316+$ nix repl

317+nix-repl> <nixpkgs>

318+/nix/store/zzjhgd7p1y879z0y9pz70vjd45yfi9iz-nixpkgs

319+```

305## Списки (lists)

320## Списки (lists)

306

321

307Списки в Nix иммутабельны и могут содержать значения любых типов вперемешку.

322Списки в Nix иммутабельны и могут содержать значения любых типов вперемешку.

@@ -336,6 +351,15 @@ nix-repl> s.${toString (122 + 1)}

336"num"

351"num"

337nix-repl> s.abc or "not found" # Note that `or` is a keyword

352nix-repl> s.abc or "not found" # Note that `or` is a keyword

338"not found"

353"not found"

354+```

355+***

356+```

357+nix-repl> s ? "123"

358+true

359+nix-repl> s ? a-b

360+true

361+nix-repl> s ? sjdnfksjd

362+false

339nix-repl> s // { a = 10; }

363nix-repl> s // { a = 10; }

340{ "123" = "num"; a = 10; a-b = "baz"; foo = "bar"; }

364{ "123" = "num"; a = 10; a-b = "baz"; foo = "bar"; }

341nix-repl> rec { a = 3; b = a + 4; } # Recursive attrset

365nix-repl> rec { a = 3; b = a + 4; } # Recursive attrset

@@ -754,6 +778,9 @@ pkgs: attrs:

754derivation (defaultAttrs // attrs)

778derivation (defaultAttrs // attrs)

755```

779```

756## `mkDerivation`: воспользуемся нашей функцией!

780## `mkDerivation`: воспользуемся нашей функцией!

781+<!--

782+Отлично! Наша функция умеет собирать autotools-проекты, при этом `builder.sh` получился очень простым благодаря `setup.nix`. Теперь если мы хотим собрать проект не на основе autotools, мы можем это легко сделать, пропустив некоторые фазы в builder.

783+-->

757### `default.nix`

784### `default.nix`

758```

785```

759let

786let

@@ -767,6 +794,9 @@ mkDerivation {

767```

794```

768

795

769## Пакеты как функции от зависимостей: паттерн inputs

796## Пакеты как функции от зависимостей: паттерн inputs

797+<!--

798+Сделаем наш репозиторий ещё удобнее, вынеся определения пакетов в отдельные файлы. В каждом таком файле будет находиться функция, принимающая в качестве аргументов зависимости пакета и возвращающая деривацию (который мы будем создавать с помощью нашего `mkDerivation`)

799+-->

770### `hello.nix`

800### `hello.nix`

771```

801```

772{ mkDerivation }:

802{ mkDerivation }:

@@ -775,6 +805,7 @@ mkDerivation {

775 src = ./hello-2.10.tar.gz;

805 src = ./hello-2.10.tar.gz;

776}

806}

777```

807```

808+

778### `default.nix`

809### `default.nix`

779```

810```

780let

811let

@@ -786,3 +817,204 @@ in

786}

817}

787```

818```

788

819

820+## Сборка с библиотеками: `NIX_CFLAGS_COMPILE`, `NIX_LDFLAGS`

821+<!--

822+Если мы хотим собирать пакеты, которые зависят от сторонних библиотек, нам понадобится ещё немного магии: нужно указать GCC и ld, где искать заголовочные и объектные файлы библиотек. Для этого существуют переменные `NIX_CFLAGS_COMPILE` и `NIX_LDFLAGS_`

823+-->

824+### `generic-builder.sh`

825+```

826+[...]

827+for p in $baseInputs $buildInputs; do

828+ if [ -d $p/bin ]; then

829+ export PATH="$p/bin${PATH:+:}$PATH"

830+ fi

831+ if [ -d $p/include ]; then

832+ export NIX_CFLAGS_COMPILE="-I $p/include${NIX_CFLAGS_COMPILE:+ }$NIX_CFLAGS_COMPILE"

833+ fi

834+ if [ -d $p/lib ]; then

835+ export NIX_LDFLAGS="-rpath $p/lib -L $p/lib${NIX_LDFLAGS:+ }$NIX_LDFLAGS"

836+ fi

837+done

838+[...]

839+```

840+***

841+### `graphviz.nix`

842+```

843+{ mkDerivation, gdSupport ? true, gd, fontconfig, libjpeg, bzip2 }:

844+

845+mkDerivation {

846+ name = "graphviz";

847+ src = ./graphviz-2.38.0.tar.gz;

848+ buildInputs = if gdSupport then [ gd fontconfig libjpeg bzip2 ] else [];

849+}

850+```

851+***

852+### `default.nix`

853+```

854+let

855+ pkgs = import <nixpkgs> {};

856+ mkDerivation = import ./generic-builder.nix pkgs;

857+in

858+{

859+ hello = import ./hello.nix { inherit mkDerivation };

860+ graphviz = import ./graphviz.nix { inherit mkDerivation

861+ gd fontconfig libjpeg bzip2; };

862+ graphvizCore = import ./graphviz.nix {

863+ inherit mkDerivation gd fontconfig libjpeg bzip2;

864+ gdSupport = false;

865+ };

866+}

867+```

868+

869+## Паттерн `callPackage`

870+<!--

871+Здорово! Мы сделали свой небольшой репозиторий с красивой файловой структурой, научились собирать пакеты с помощью autotools с возможностью легко перейти на другие системы сборки и даже собирать пакеты с библиотеками. Теперь пора уменьшить бойлерплейт. Можно заметить, что в корневом файле репозитория мы повторяем названия аргументов функции при её вызове. Это будет происходить постоянно при структуре репозитория, похожего на наш. Для того, чтобы исправить эту проблему, мы создадим функцию `callPackage`, которая будет вызывать функцию из указанного файла, автоматически передавая ей аргументы из указанного attrset. Например:

872+-->

873+### `default.nix`

874+```

875+{

876+ hello = callPackage ./hello.nix { };

877+ graphviz = callPackage ./graphviz.nix { };

878+ graphvizCore = callPackage ./graphviz.nix

879+ { gdSupport = false; };

880+}

881+```

882+***

883+<!--

884+Для начала разберемся с тем, как же нам найти названия аргументов функции. В nix для этого существует встроенная функция `builins.functionArgs`. Она возвращает attrset, в котором названию аргументов соответствует наличие у них значения по-умолчанию.

885+-->

886+```

887+nix-repl> add = { a ? 3, b }: a+b

888+nix-repl> builtins.functionArgs add

889+{ a = true; b = false; }

890+```

891+<!--

892+Также в nix существует удобный builtin для "пересечения" двух attrset-ов. Он возвращает attrset, в котором имена аттрибутов -- пересечение имен аттрибутов его аргументов, а их значения берутся из второго аргумента. Например:

893+-->

894+```

895+nix-repl> values = { a = 3; b = 5; c = 10; }

896+nix-repl> builtins.intersectAttrs values (builtins.functionArgs add)

897+{ a = true; b = false; }

898+nix-repl> builtins.intersectAttrs (builtins.functionArgs add) values

899+{ a = 3; b = 5; }

900+```

901+## Простой вариант `callPackage`

902+<!--

903+Обладая этими знаниями, напишем простую реализацию нашего callPackage.

904+-->

905+```

906+nix-repl> callPackage = set: f:

907+ f (builtins.intersectAttrs

908+ (builtins.functionArgs f) set)

909+nix-repl> callPackage values add

910+8

911+nix-repl> with values; add { inherit a b; }

912+8

913+```

914+## `callPackage`: добавляем оверрайды

915+<!--

916+Добавим возможность перегружать значения с помощью последнего аргумента...

917+-->

918+```

919+nix-repl> callPackage = set: f: overrides:

920+ f ((builtins.intersectAttrs

921+ (builtins.functionArgs f) set) // overrides)

922+nix-repl> callPackage values add { }

923+8

924+nix-repl> callPackage values add { b = 12; }

925+15

926+```

927+## `callPackage`: используем!

928+```

929+let

930+ nixpkgs = import <nixpkgs> {};

931+ allPkgs = nixpkgs // pkgs;

932+ callPackage = path: overrides:

933+ let f = import path;

934+ in f ((builtins.intersectAttrs (builtins.functionArgs f) allPkgs) // overrides);

935+ pkgs = with nixpkgs; {

936+ mkDerivation = import ./generic-builder.nix nixpkgs;

937+ hello = callPackage ./hello.nix { };

938+ graphviz = callPackage ./graphviz.nix { };

939+ graphvizCore = callPackage ./graphviz.nix { gdSupport = false; };

940+ };

941+in pkgs

942+```

943+## Паттерн `override`

944+<!--

945+Nix -- это функциональный язык. Одна из идей функциональной парадигмы состоит в композиции функций. Это может быть очень удобно при работе с деривациями. Например, если мы хотим получить `graphviz`, собранный с нашей собственной версией библиотеки gd, на данный момент нам придется заново делать `callPackage ./graphviz.nix { gd = customgd; }` Это неудобно и добавляет бойлерплейт.

946+-->

947+```

948+mygraphviz = callPackage ./graphviz.nix { gd = customgd; }

949+

950+VS.

951+

952+mygraphviz = pkgs.graphviz.override { gd = customgd }

953+```

954+***

955+<!--

956+Для реализации нашей затеи напишем функцию `mkOverridable`, которая будет принимать функцию, возвращающую attrset, и attrset (который будет являться "дефолтными" аргументами для данной функции). Вернет `makeOverridable` тот же attrset, что вернула бы данная функция, с добавлением аттрибута `override`, который является функцией, позволяющей нам "перегружать" стандартные аргументы.

957+-->

958+### `lib.nix`

959+```

960+rec {

961+ makeOverridable = f: origArgs:

962+ let

963+ origRes = f origArgs;

964+ in

965+ origRes // {

966+ override = newArgs:

967+ makeOverridable f (origArgs // newArgs);

968+ };

969+}

970+```

971+***

972+### Протестируем в `nix repl`

973+<!--

974+Работает! Теперь мы можем легко "перегружать" аргументы пакетов (которые, напомню, просто функции) в нашем репозитории. Нужно только не забыть вызывать все эти пакеты с makeOverridable.

975+-->

976+```

977+nix-repl> :l lib.nix

978+Added 1 variables.

979+nix-repl> f = { a, b }: { result = a+b; }

980+nix-repl> res = makeOverridable f { a = 3; b = 5; }

981+nix-repl> res2 = res.override { a = 10; }

982+nix-repl> res2

983+{ override = «lambda»; result = 15; }

984+nix-repl> res2.override { b = 20; }

985+{ override = «lambda»; result = 30; }

986+```

987+***

988+### `lib.nix`

989+```

990+rec {

991+ [...]

992+ callPackage = pkgs: path: overrides:

993+ let f = import path;

994+ in makeOverridable

995+ f ((builtins.intersectAttrs

996+ (builtins.functionArgs f) pkgs) // overrides);

997+}

998+```

999+***

1000+### `default.nix`

1001+```

1002+let

1003+ lib = import ./lib.nix;

1004+ nixpkgs = import <nixpkgs> {};

1005+ callPackage = lib.callPackage allPkgs;

1006+ allPkgs = nixpkgs // pkgs;

1007+ pkgs = with nixpkgs; rec {

1008+ mkDerivation = import ./generic-builder.nix nixpkgs;

1009+ hello = callPackage ./hello.nix { };

1010+ graphviz = callPackage ./graphviz.nix { };

1011+ graphvizCore = graphviz.override { gdSupport = false };

1012+ };

1013+in pkgs

1014+```

1015+## nixpkgs

1016+<!--

1017+Изначально я планировал вкратце рассказать про остальные паттерны nixpkgs, но в итоге получился просто объяснение, что же происходит в каждом файле, которое к тому же растянуло бы презентацию ещё на несколько десятков слайдов. На самом деле, на данный момент ваших знаний nix вполне достаточно для чтения исходников nixpkgs.

1018+-->

1019+> Изучение nixpkgs остается в качестве упражнения для слушателя.

1020+