Skip to content

Instantly share code, notes, and snippets.

View soli's full-sized avatar

Sylvain Soliman soli

View GitHub Profile
@soli
soli / # swi-prolog - 2019-03-27_17-02-21.txt
Created April 1, 2019 08:43
swi-prolog on macOS 10.14.2 - Homebrew build logs
Homebrew build logs for swi-prolog on macOS 10.14.2
Build date: 2019-03-27 17:02:21

Keybase proof

I hereby claim:

  • I am soli on github.
  • I am soli (https://keybase.io/soli) on keybase.
  • I have a public key ASDIbR3GkvXRoUbUZG62gTFatUbgMsAfaN-ZBrUVVdcb3Qo

To claim this, I am signing this object:

#!/bin/bash
if [[ $# != 1 ]] ; then
echo "Usage: $0 <type/struct/trait/fn>"
exit 1
fi
if [[ $1 =~ '::' ]] ; then
query=$1
else
@soli
soli / gist:1942422
Created February 29, 2012 16:53
tmux equal split vs. vim
Not sure I understand what you want.
If you start from
-------------------------
|...........|...........|
|...........|...........|
|...........|-----------|
|...........|.....|.....|
|...........|.....|.....|
-------------------------