Skip to content

Instantly share code, notes, and snippets.

View lrabiet's full-sized avatar
🎯
Focusing

Louis R lrabiet

🎯
Focusing
21 followers · 21 following
View GitHub Profile
@lrabiet
lrabiet / gist:a2e24b6379c1da44ca919323a46308d7
Created February 5, 2019 11:24
Remove facebook from android
adb shell pm list packages | grep facebook
adb shell pm uninstall -k com.facebook.katana
adb shell pm uninstall -k com.facebook.orca
adb shell pm uninstall -k com.facebook.system
adb shell pm uninstall -k com.facebook.appmanager
@lrabiet
lrabiet / clean-juju-model.sh
Created January 3, 2019 18:29 — forked from nottrobin/clean-juju-model.sh
To clean out a Juju model so you can use it from scratch, without deleting and recreating it
# Clear out a model, for Juju 2
# ==
# Destroy all machines and remove applications
# --
clean_model() {
model_name=${1}
juju status --model ${model_name} --format json | jq '.machines' | jq -r 'keys[]' | xargs -n 1 juju remove-machine --force # Force destroy all machines
juju status --model ${model_name} --format json | jq '.applications' | jq -r 'keys[]' | xargs -n 1 juju remove-application # Remove all applications
watch -c -n 10 juju status --model ${model_name} --color
@lrabiet
lrabiet / keybase.md
Created February 15, 2018 00:07

Keybase proof

I hereby claim:

  • I am lrabiet on github.
  • I am lrabiet (https://keybase.io/lrabiet) on keybase.
  • I have a public key whose fingerprint is 2B29 00F4 8A77 2E3F 4DAF E2EF 1A39 37E6 74AA 6284

To claim this, I am signing this object:

@lrabiet
lrabiet / gist:35a9d56e796d5ced1ac2bb898b1f00ac
Created February 14, 2018 21:36
Resetting
BIwJfiiohwosAZNSxk86MNZy please reset lrabiet
@lrabiet
lrabiet / docker-cleanup-resources.md
Created February 5, 2018 20:39 — forked from bastman/docker-cleanup-resources.md
docker cleanup guide: containers, images, volumes, networks

Docker - How to cleanup (unused) resources

Once in a while, you may need to cleanup resources (containers, volumes, images, networks) ...

delete volumes

// see: https://github.com/chadoe/docker-cleanup-volumes

$ docker volume rm $(docker volume ls -qf dangling=true)

$ docker volume ls -qf dangling=true | xargs -r docker volume rm

@lrabiet
lrabiet / gist:f6eaa2a45f4245fda97f924d60660aed
Created April 20, 2017 09:22
Running android build
export BASE=`pwd`
jdk_switcher home oraclejdk8
jdk_switcher use oraclejdk8
java -version
cd /tmp
pwd
mkdir android-sdk
cd android-sdk
wget https://dl.google.com/android/repository/tools_r25.2.3-linux.zip
unzip -u tools_r25.2.3-linux.zip
@lrabiet
lrabiet / gist:d05947e1b7b99b4b1ea8
Last active August 29, 2015 14:11
Logfile error: Missing nagScript
Analysing PseudoCOpsScript.sml
Analysing PseudoCScript.sml
/s/bach/e/proj/rtrt/lrabiet/ie-strategies/HOL-Linux/bin/buildheap -o ie0-heap transcTheory intrealTheory
Poly/ML 5.5.2 Release
val heapname = "ie0-heap": string
Loading transcTheory
Loading intrealTheory
Linking PseudoCScript.uo to produce theory-builder executable
Poly/ML 5.5.2 Release
@lrabiet
lrabiet / keybase.md
Last active August 29, 2015 13:56
Keybase

Keybase proof

I hereby claim:

  • I am lrabiet on github.
  • I am lrabiet (https://keybase.io/lrabiet) on keybase.
  • I have a public key whose fingerprint is FB07 0659 D115 158D C321 0BEE F2E2 C41F BC6D C441

To claim this, I am signing this object:

@lrabiet
lrabiet / gist:3909017
Created October 17, 2012 23:36
Require Import Arith.
Require Import List ZArith.
Require Import Bool.
Require Import JMeq.
Lemma nil_list A (s1 : list A):
length s1 = 0 -> s1= nil.
Admitted.
(* proof done using lel_l from the library *)
@lrabiet
lrabiet / gist:3844975
Created October 6, 2012 13:44
not_not sans tiers-exclu
Lemma not_not : P \/ ~P -> ~~ P -> P.
Proof.
intros.
case H.
intros.
apply H1.
intros.
case H0.
apply H1.
Qed.