This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(define-module (mbe a) | |
#:use-module (oop goops) | |
#:export (x y)) | |
(define-generic x) | |
(define-generic y) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
MODKEY=Mod4 | |
WMII_TERM=urxvt | |
base03='#002b36' | |
base02='#073642' | |
base01='#586e75' | |
base00='#657b83' | |
base0='#839496' | |
base1='#93a1a1' | |
base2='#eee8d5' |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/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"; | |
;; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# 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; |
NewerOlder