Ok, I geeked out, and this is probably more information than you need. But it completely answers the question. Sorry. ☺
Locally, I'm at this commit:
$ git show
commit d6cd1e2bd19e03a81132a23b2025920577f84e37
Author: jnthn <[email protected]>
Date: Sun Apr 15 16:35:03 2012 +0200
When I added FIRST/NEXT/LAST, it was idiomatic but not quite so fast. This makes it faster. Another little bit of masak++'s program.
| :def hoogle \x -> return $ ":!hoogle --count=15 \"" ++ x ++ "\"" | |
| :def doc \x -> return $ ":!hoogle --info \"" ++ x ++ "\"" | |
| :set -Wall | |
| :set -fno-warn-type-defaults -ferror-spans -freverse-errors -fprint-expanded-synonyms | |
| :set prompt "\ESC[0;32m%s\n\ESC[m[ghci]\ESC[38;5;172mλ \ESC[m" | |
| :set prompt-cont " \ESC[38;5;172m> \ESC[m" |
I was trying to configure native ipv6 on my NixOS box, which is running in online.net's datacenters. They provide you
a /48 or smaller subnet and a DUID which is used during DHCP. In dhcpcd vocabulary DUID is called clientid.
online.net's help page about IPv6 configuration was not very useful, since NixOS uses dhcpcd by default. The page which allowed me to make it all work was https://community.online.net/t/tutorial-ipv6-with-dhcpcd/3804
It looks like the only really required entries in networking.dhcpcd.extraConfig are interface and static though.
I assumed that clientid is also necessary, but it looks like dhcpcd cares much more about content of /etc/dhcpcd.duid.
Of course replace enp2s0 with the name of the main interface.
| (* In Andromeda everything the user writes is "meta-level programming. *) | |
| (* ML-level natural numbers *) | |
| mltype rec mlnat = | |
| | zero | |
| | succ of mlnat | |
| end | |
| (* We can use the meta-level numbers to define a program which computes n-fold iterations | |
| of f. Here we give an explicit type of iterate because the ML-type inference cannot tell |
| ;; -*- lexical-binding: t; -*- | |
| ;;===[ PERFORMANCE ENHANCEMENTS ]=============================================== | |
| ;; See: | |
| ;; https://github.com/hlissner/doom-emacs/wiki/FAQ#how-is-dooms-startup-so-fast | |
| (defvar file-name-handler-alist-backup file-name-handler-alist) | |
| (defvar gc-cons-threshold-backup gc-cons-threshold) | |
| (defvar gc-cons-percentage-backup gc-cons-percentage) | |
| (setq gc-cons-threshold 402653184 |
| Require Import Coq.Classes.SetoidClass. | |
| Program Instance Iff1Setoid{A:Type} : Setoid (A->Prop) := {| | |
| equiv := fun P Q => forall x, P x <-> Q x | |
| |}. | |
| Next Obligation. | |
| split. | |
| - intros P x; reflexivity. | |
| - intros P Q H x; symmetry; exact (H x). | |
| - intros P Q R H0 H1 x; transitivity (Q x); [exact (H0 x)|exact (H1 x)]. |
| DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE | |
| Version 2, December 2004 | |
| Copyright (C) 2011 Mathieu 'p01' Henri <http://www.p01.org/releases/> | |
| Everyone is permitted to copy and distribute verbatim or modified | |
| copies of this license document, and changing it is allowed as long | |
| as the name is changed. | |
| DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE |