December 13, 2016 - This gist has been moved to a dedicated github repo, https://github.com/vrillusions/ubuntu-kickstart, no more updates will be posted to this gist.
pip install ndg-httpsclient==0.3.2 pyasn1==0.1.7 pyOpenSSL==0.13.1 requests==2.2.1 | |
# with a cert.pem file in the same directory as ssl_server.py | |
python ssl_server.py | |
# in another terminal with same virtualenv | |
python ssl_client.py |
| While lhs.exec = \env -> let f = \env' -> case @e.eval env' of | |
VFalse -> env' | |
VTrue -> f (@s1.exec env') | |
in f e |
CONFIGURATION | |
------------- | |
To setup, simply set your username and API access key in the | |
cloudfiles.get_conenction call. If you're not using the UK | |
version of Rackspace, remove the third parameter from the above | |
call. | |
EXAMPLE USAGE | |
------------- |
#!/bin/bash | |
# Copy files from and to Google Compute Engine instances | |
# Automatically looks up the correct zone and uses ~/.ssh/id_rsa | |
# Usage | |
# gscp ./some.file some-instance-name:some-directory | |
# gscp some-instance-name:some-directory ./some.file | |
for project in $(gcloud projects list | grep -v PROJECT_ID | cut -d' ' -f 1); do | |
PROJECT=$project |
{-# LANGUAGE DataKinds, PolyKinds, TypeOperators #-} | |
{-# LANGUAGE TypeFamilies, FlexibleInstances, ScopedTypeVariables #-} | |
{-# LANGUAGE InstanceSigs #-} | |
module TinyServant where | |
import Control.Applicative | |
import GHC.TypeLits | |
import Text.Read | |
import Data.Time |
#! /bin/sh | |
cd /usr/share/locales | |
./install-language-pack eo | |
./install-language-pack ia | |
./install-language-pack ie | |
./install-language-pack io | |
./install-language-pack vo | |
./install-language-pack ca |
import Data.Maybe | |
import Control.Monad (liftM) | |
import Data.List (isPrefixOf) | |
import qualified Data.Map as M | |
import qualified Data.Foldable as F | |
-- | Trie container data type | |
data Trie a = Trie { value :: Maybe a | |
, children :: M.Map Char (Trie a) } | |
deriving (Show) |
This document has been modified from its [original format][m1], which was written by Ning Shang (geek@cerias.net). It has been updated and reformatted into a [Markdown][m2] document by [Woody Gilk][m3] and [republished][m4].
When working with a remote git repository which is hosted on a third-party storage server, data confidentiality sometimes becomes
These are instructions for booting from an Ubuntu liveCD and installing NixOS on a machine. I needed to do this because the NixOS liveCD doesn't work on my machine (NixOS/nixpkgs#5829), so I'm just using the Ubuntu installation media as something to boot into.
Much of this is from discussion at NixOS/nixpkgs#14680.
Get the Ubuntu ISO: http://releases.ubuntu.com/16.04.1/ubuntu-16.04.1-desktop-amd64.iso
Write it to a USB drive with unetbootin