summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMinijackson <minijackson@riseup.net>2019-10-05 15:39:59 +0200
committerMinijackson <minijackson@riseup.net>2019-10-06 19:52:49 +0200
commitaf41e359bd8a8a2a7cebe06d76096eb9fc5dc8e4 (patch)
treeeaa7e23dc2f9252c05c990973d260c2ccdd2c82d
parenta718a6e3490bc4e43df2bb8afc351ef599d9d975 (diff)
downloadnixos-embedded-slides-af41e359bd8a8a2a7cebe06d76096eb9fc5dc8e4.tar.gz
nixos-embedded-slides-af41e359bd8a8a2a7cebe06d76096eb9fc5dc8e4.zip
Strip away some things
-rw-r--r--slides.md22
1 files changed, 8 insertions, 14 deletions
diff --git a/slides.md b/slides.md
index 8482994..5a92918 100644
--- a/slides.md
+++ b/slides.md
@@ -909,24 +909,10 @@ Introducing: the module system!
909- Will add a PreStart script that generates the host key if non-existent 909- Will add a PreStart script that generates the host key if non-existent
910- Allow the 22 tcp port in the firewall (special ssh case) 910- Allow the 22 tcp port in the firewall (special ssh case)
911- sshd PAM module 911- sshd PAM module
912- Note: this configuration alone is two lines away from compiling:
913 912
914 913
915::: 914:::
916 915
917## Being pedantic{.fragile}
918
919```{=latex}
920\begin{minted}{nix}
921{ ... }:
922{
923 fileSystems."/".fsType = "tmpfs";
924 boot.loader.grub.enable = false;
925 services.openssh.enable = true;
926}
927\end{minted}
928```
929
930## Customizing the SSH server config{.fragile} 916## Customizing the SSH server config{.fragile}
931 917
932```{=latex} 918```{=latex}
@@ -1213,6 +1199,13 @@ with lib;
1213\end{minted} 1199\end{minted}
1214``` 1200```
1215 1201
1202::: notes
1203
1204Sorry if the formatting is horrible, it had to fit in one slide.
1205
1206
1207:::
1208
1216## Defining our own modules---Implementation{.fragile} 1209## Defining our own modules---Implementation{.fragile}
1217 1210
1218```{=latex} 1211```{=latex}
@@ -1230,6 +1223,7 @@ with lib;
1230 1223
1231::: notes 1224::: notes
1232 1225
1226- **Ask me a question about the UID situation at the end of the talk**
1233- We can't go around assigning random UIDs because: 1227- We can't go around assigning random UIDs because:
1234 - It's not deterministic 1228 - It's not deterministic
1235 - If done deterministically (ie. not randomly, but by assigning the first 1229 - If done deterministically (ie. not randomly, but by assigning the first