KoviRobi

open System;

(* The type
     'a IsoRec record
   is the same as
     type 'a isorec_record = Roll of { n : int; a : int; b : int; f : 'a isorec_record -> 'a }
   but apparenty that way of specifying types is deprecated
*)
type 'a record = { n : int; a : int; b : int; f : 'a }
type 'a IsoRec = Roll of ('a IsoRec record -> 'a)

KoviRobi

#!/bin/sh -xeu
restart="false";

echo $#
if [  "$#" -ge 1 ]; then
    case "$1" in
        "r"|"re"|"res"|"rest"|"resta"|"restar"|"restart")
            sudo systemctl stop container@browser
            restart="true";
            ;;

KoviRobi

# vim: set softtabstop=2 tabstop=2 shiftwidth=2 expandtab autoindent syntax=nix nocompatible :
# Containers

{ config, pkgs, ... }:

{ containers.browser =
  let hostAddr =  "192.168.100.10";
  in
  { privateNetwork = true;
    hostAddress = hostAddr;