[TutoNix] cleaner package example

figures/package-example.svg

+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+
+<svg
+   xmlns:dc="http://purl.org/dc/elements/1.1/"
+   xmlns:cc="http://creativecommons.org/ns#"
+   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+   xmlns:svg="http://www.w3.org/2000/svg"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   width="154.74507mm"
+   height="51.185505mm"
+   viewBox="0 0 154.74507 51.185505"
+   version="1.1"
+   id="svg8"
+   inkscape:version="0.92.4 5da689c313, 2019-01-14"
+   sodipodi:docname="package-example.svg">
+  <defs
+     id="defs2" />
+  <sodipodi:namedview
+     id="base"
+     pagecolor="#ffffff"
+     bordercolor="#666666"
+     borderopacity="1.0"
+     inkscape:pageopacity="0.0"
+     inkscape:pageshadow="2"
+     inkscape:zoom="1.4"
+     inkscape:cx="243.92841"
+     inkscape:cy="104.22683"
+     inkscape:document-units="mm"
+     inkscape:current-layer="layer1"
+     showgrid="false"
+     fit-margin-top="0"
+     fit-margin-left="0"
+     fit-margin-right="0"
+     fit-margin-bottom="0"
+     inkscape:window-width="1916"
+     inkscape:window-height="1152"
+     inkscape:window-x="1920"
+     inkscape:window-y="22"
+     inkscape:window-maximized="0" />
+  <metadata
+     id="metadata5">
+    <rdf:RDF>
+      <cc:Work
+         rdf:about="">
+        <dc:format>image/svg+xml</dc:format>
+        <dc:type
+           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+        <dc:title></dc:title>
+      </cc:Work>
+    </rdf:RDF>
+  </metadata>
+  <g
+     inkscape:label="Layer 1"
+     inkscape:groupmode="layer"
+     id="layer1"
+     transform="translate(-14.37613,-39.528493)">
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.29166651px;line-height:1.25;font-family:sans-serif;-inkscape-font-specification:sans-serif;text-align:start;letter-spacing:0px;word-spacing:0px;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
+       x="14.37613"
+       y="43.54892"
+       id="text817"><tspan
+         sodipodi:role="line"
+         id="tspan815"
+         x="14.37613"
+         y="43.54892"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:monospace;-inkscape-font-specification:monospace;stroke-width:0.26458332">stdenv.mkDerivation {</tspan><tspan
+         sodipodi:role="line"
+         x="14.37613"
+         y="50.163502"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:monospace;-inkscape-font-specification:monospace;stroke-width:0.26458332"
+         id="tspan819">  name = &quot;<tspan
+   style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:monospace;-inkscape-font-specification:'monospace Bold';fill:#aa0000"
+   id="tspan833">chord</tspan>&quot;;</tspan><tspan
+         sodipodi:role="line"
+         x="14.37613"
+         y="56.778088"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:monospace;-inkscape-font-specification:monospace;stroke-width:0.26458332"
+         id="tspan821">  src = fetchurl {</tspan><tspan
+         sodipodi:role="line"
+         x="14.37613"
+         y="63.39267"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:monospace;-inkscape-font-specification:monospace;stroke-width:0.26458332"
+         id="tspan823">    url = &quot;<tspan
+   style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:monospace;-inkscape-font-specification:'monospace Bold';fill:#aa0000"
+   id="tspan835">https://gitlab.com/me/chord.tar.gz</tspan>&quot;;</tspan><tspan
+         sodipodi:role="line"
+         x="14.37613"
+         y="70.007256"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:monospace;-inkscape-font-specification:monospace;stroke-width:0.26458332"
+         id="tspan825">    sha256 = &quot;1h2jgq5pspyiskffq777nhi5rf0y8h...&quot;;</tspan><tspan
+         sodipodi:role="line"
+         x="14.37613"
+         y="76.621834"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:monospace;-inkscape-font-specification:monospace;stroke-width:0.26458332"
+         id="tspan827">  };</tspan><tspan
+         sodipodi:role="line"
+         x="14.37613"
+         y="83.23642"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:monospace;-inkscape-font-specification:monospace;stroke-width:0.26458332"
+         id="tspan829">  buildInputs = [ <tspan
+   style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:monospace;-inkscape-font-specification:'monospace Bold';fill:#aa0000"
+   id="tspan837">simgrid boost cmake</tspan> ];</tspan><tspan
+         sodipodi:role="line"
+         x="14.37613"
+         y="89.850998"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:monospace;-inkscape-font-specification:monospace;stroke-width:0.26458332"
+         id="tspan831">}</tspan></text>
+  </g>
+</svg>

slides.tex

@@ -189,20 +189,7 @@ Problem
 \subsection{Packages Example}
 
 \begin{frame}[fragile]{Package Definition Example}
-  % It is a Nix attribute set describing how to build a package.
-  \vspace{-1em}
-
-
-  \begin{lstlisting}[language=Nix,basicstyle=\small]
-stdenv.mkDerivation {
-  name = "chord";
-  src = fetchurl {
-    url = "https://gitlab.com/me/chord.tar.gz";
-    sha256 = "1h2jgq5pspyiskffq777nhi5rf0y8h...";
-  };
-  buildInputs = [ simgrid boost cmake ];
-}
-\end{lstlisting}
+  \includegraphics[width=0.9\textwidth]{./figures/package-example.pdf}
 
 \end{frame}