Skip to content

Instantly share code, notes, and snippets.

View KoviRobi's full-sized avatar

Kovacsics Robert KoviRobi

View GitHub Profile
(define-module (mbe a)
#:use-module (oop goops)
#:export (x y))
(define-generic x)
(define-generic y)
MODKEY=Mod4
WMII_TERM=urxvt
base03='#002b36'
base02='#073642'
base01='#586e75'
base00='#657b83'
base0='#839496'
base1='#93a1a1'
base2='#eee8d5'
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
KoviRobi / nixos-container-launch.sh
Created December 17, 2014 17:49
This accompanies nixos-container.nix
#!/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
KoviRobi / nixos-container.nix
Last active August 23, 2024 08:37
NixOS container example, for a web browser container. Use "sudo systemctl start container@browser" to start.
# 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;