[TutoNix]dim. juin 23 19:18:08 CEST 2019

default.nix

@@ -37,9 +37,9 @@ stdenv.mkDerivation rec {
     cp paper.pdf $out
     '';
   buildInputs = inputs;
-  shell = mkShell {
-    buildInputs = inputs;
-    shellHook = "ls | entr make";
-  };
+    shell = mkShell {
+      buildInputs = inputs;
+      shellHook = "ls | entr make";
+    };
 
 }

slides.tex

@@ -437,7 +437,7 @@ The result of the build action is automatically placed into the nix store.
 
   \vspace{1em}
 
-  NixPkgs contains the derivations of all application (and libraries) \emph{officialy} available with Nix.
+  NixPkgs contains the derivations of all application (and libraries) \emph{officially} available with Nix.
 \end{frame}
 
 
@@ -451,7 +451,9 @@ The result of the build action is automatically placed into the nix store.
   A \textbf{channel} is link to  branch of NixPkgs tested with continuous integration.
 \end{tcolorbox}
 
+  \vspace{1em}
 
+  Channels are useful to downloaded latest version of a software.
 
   \vspace{1em}
 
@@ -464,14 +466,43 @@ The result of the build action is automatically placed into the nix store.
 
   \only<2>{
 
-\begin{tcolorbox}[colframe=red!17,colback=red!10,coltext=black]
+\begin{tcolorbox}[colframe=red!37,colback=red!10,coltext=black]
   \center
     Channels are not fully reproducible, as they are subject to updates.
 \end{tcolorbox}
+  \vspace{1em}
+  As experimenters,  we will use another mechanism called pinning.
   }
 
 \end{frame}
 
+\begin{frame}{Key points}
+
+  \begin{enumerate}
+  \item Applies functional paradigm to package management system.
+  \item Packages are derivations, written in Nix lang.
+  \item The list of existing packages are into NixPkgs repository.
+  \item All build package are located into the store.
+  \end{enumerate}
+
+\end{frame}
+
+\begin{frame}{Why it is reproducible ?}
+
+\end{frame}
+
+\begin{frame}{Nix - Command line interface}
+  How do we use Nix ?
+  \vspace{1em}
+  \begin{itemize}
+    \item \textit{nix-build} : build a derivation (that will be placed to the nix store),
+    \item \textit{nix-env} : install a package (in your current environment)
+      \note{Speak about profiles?},
+    \item \textit{nix-shell} : start a shell in the build environment of a derivation,
+    \item \textit{nix search} : Search for available packages.
+  \end{itemize}
+\end{frame}
+
 % \begin{frame}[fragile]{}
 % 
 %   A derivation is identified with a hash of its inputs (\emph{sources}, and \emph{derivations})