Skip to content

Instantly share code, notes, and snippets.

View patcon's full-sized avatar

Patrick Connolly patcon

View GitHub Profile
@patcon
patcon / INSTALL.md
Last active July 28, 2017 10:34
Installing why3 IDE for verifying sample Ethereum contract (Ubuntu 14.04)
# install ocaml and deps
apt-get install ocaml ocaml-native-compilers
apt-get install liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml-dev libocamlgraph-ocaml-dev

# install opam from binaries (ocaml package manager)
# See https://opam.ocaml.org/doc/Install.html#Binarydistribution
wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sh -s /usr/local/bin/

#### OR
@patcon
patcon / terminal.log
Last active August 29, 2015 14:20
cm-update-server troubleshooting
~/repos/chef-cm-update-server (master ✘)✭ ᐅ http POST 127.0.0.1:3000/api < test.json
HTTP/1.1 200 OK
Connection: keep-alive
Content-Length: 365
Content-Type: application/json
Date: Sat, 09 May 2015 21:11:20 GMT
{
"error": null,
"id": null,
@patcon
patcon / settings.yml
Last active August 29, 2015 14:18
Ideal settings.yml file format
config_version: 2
general:
cm_device_codename: grouper
cm_release_type: snapshot
cm_release_version: M12
parent_template: mia-default
repositories:
- id: fdroid

Keybase proof

I hereby claim:

  • I am patcon on github.
  • I am patcon (https://keybase.io/patcon) on keybase.
  • I have a public key whose fingerprint is C0C0 D344 B44F AFA8 1911 47B1 EBC6 C437 5731 0205

To claim this, I am signing this object:

@patcon
patcon / TODO.md
Created November 4, 2014 21:39
TODO for doing a OSTN screencast on Tails OS
  • create a temporary digitalocean api token and write it down
  • Use screenr.com on tails. Requires Java plugin for recording, and Flash if you want playback: https://lunaticoutpost.com/showthread.php?tid=325026
  • Test whether vagrant and chefdk will install
  • make sure i have a root password set up (for installing packages, and /etc/hosts etc.)
  • DON'T mount persistent storage
@patcon
patcon / -
Created October 14, 2014 00:29
~/repos/dhtHell (master ✔) ᐅ go run main.go
# command-line-arguments
./main.go:335: undefined: commands.PrintDiagnostics
@patcon
patcon / -
Created September 9, 2014 15:10
------------------------------------------------------------
/non_encrypted/repos/fdroiddata/env/bin/pip run on Tue Sep 9 12:08:50 2014
--editable=. should be formatted with svn+URL, git+URL, hg+URL or bzr+URL
Exception information:
Traceback (most recent call last):
File "/non_encrypted/repos/fdroiddata/env/local/lib/python2.7/site-packages/pip-1.1-py2.7.egg/pip/basecommand.py", line 104, in main
status = self.run(options, args)
File "/non_encrypted/repos/fdroiddata/env/local/lib/python2.7/site-packages/pip-1.1-py2.7.egg/pip/commands/install.py", line 217, in run
InstallRequirement.from_editable(name, default_vcs=options.default_vcs))
diff -ru built/AndroidManifest.xml downloaded/AndroidManifest.xml
--- built/AndroidManifest.xml 2014-08-25 19:53:26.005158961 -0300
+++ downloaded/AndroidManifest.xml 2014-08-25 03:18:34.500065038 -0300
@@ -26,4 +26,5 @@
<activity android:name="InstallLogViewActivity" />
<service android:name="InstallService" />
</application>
+ <fdroid buildserverid="4fa5d9063ac99f2f969094e215efa5e18590a01b " fdroidserverid="4fa5d9063ac99f2f969094e215efa5e18590a01b " />
</manifest>
\ No newline at end of file
@patcon
patcon / iptables-vnL--table-filter.diff
Last active August 29, 2015 14:05
orWall bug. Firefox. `iptables --table filter`
--- iptable-vnL-no-auth.log 2014-08-24 01:00:43.964999966 -0300
+++ iptable-vnL-browser-auth.log 2014-08-24 01:00:50.708999638 -0300
@@ -1,7 +1,9 @@
-Chain INPUT (policy DROP 17 packets, 4512 bytes)
+Chain INPUT (policy DROP 2 packets, 592 bytes)
pkts bytes target prot opt in out source destination
-13246 7849K ACCEPT all -- * * 0.0.0.0/0 0.0.0.0/0 owner UID match 10058 ctstate NEW,RELATED,ESTABLISHED /* Allow Orbot inputs */
- 5400 6455K ACCEPT all -- * * 0.0.0.0/0 0.0.0.0/0 ctstate RELATED,ESTABLISHED /* Allow related,established inputs */
+13624 8008K ACCEPT all -- * * 0.0.0.0/0 0.0.0.0/0 owner UID match 10058 ctstate NEW,RELATED,ESTABLISHED /* Allow Orbot inputs */
+ 5561 6567K ACCEPT all -- * * 0.0.0.0/0 0.0.0.0/0 ctstate RELATED,ESTABLISHED /* Allow related,established inputs */
@patcon
patcon / iptables-vnL--table-nat.diff
Created August 24, 2014 04:14
orWall bug. Firefox. `iptables --table nat`
--- iptable-vnL-nat-no-auth.log 2014-08-24 01:01:04.304998976 -0300
+++ iptable-vnL-nat-browser-auth.log 2014-08-24 01:00:59.664999202 -0300
@@ -1,23 +1,24 @@
-Chain PREROUTING (policy ACCEPT 29 packets, 11334 bytes)
+Chain PREROUTING (policy ACCEPT 6 packets, 2344 bytes)
pkts bytes target prot opt in out source destination
- 609 251K oem_nat_pre all -- * * 0.0.0.0/0 0.0.0.0/0
+ 622 256K oem_nat_pre all -- * * 0.0.0.0/0 0.0.0.0/0
Chain INPUT (policy ACCEPT 0 packets, 0 bytes)