Skip to content

Instantly share code, notes, and snippets.

Host 172.16.*
User vagrant
IdentityFile ~/.vagrant.d/insecure_private_key
StrictHostKeyChecking no
postgresql:
pkg:
- installed
- env:
- LC_ALL: en_US.UTF-8
service:
- running
- enable: true
- require:
- pkg: postgresql
/tmp/smlnj$ ./config/install.sh
./config/install.sh: Using shell /bin/sh.
./config/install.sh: SML root is /tmp/smlnj.
./config/install.sh: Installation directory is /tmp/smlnj.
./config/install.sh: Installing version 110.77.
./config/install.sh: URL of source archive is http://smlnj.cs.uchicago.edu/dist/working/110.77/.
./config/install.sh: Script /tmp/smlnj/bin/.arch-n-opsys reports ARCH=x86; OPSYS=darwin; HEAP_SUFFIX=x86-darwin.
./config/install.sh: Run-time system already exists.
/tmp/smlnj/config/unpack: The bootfiles tree already exists.
./config/install.sh: CM metadata directory name is ".cm"
@mpolden
mpolden / gist:add875e1b11ebb8e0762
Created October 23, 2014 21:17
Set major-mode for buffers created with C-x b
(setq-default major-mode
(lambda ()
(unless buffer-file-name
(let ((buffer-file-name (buffer-name)))
(set-auto-mode t)))))
$ curl -v6 https://www.dustinhome.no
* Rebuilt URL to: https://www.dustinhome.no/
* Hostname was NOT found in DNS cache
* Trying 2001:67c:112c:8000::15...
* Connected to www.dustinhome.no (2001:67c:112c:8000::15) port 443 (#0)
* successfully set certificate verify locations:
* CAfile: none
CApath: /etc/ssl/certs
* SSLv3, TLS handshake, Client hello (1):
* Unknown SSL protocol error in connection to www.dustinhome.no:443