Skip to content

Instantly share code, notes, and snippets.

Andrei deiu

Block or report user

Report or block deiu

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@deiu
deiu / git-delete-history.sh
Last active Sep 10, 2018
Script to permanently remove files/folders from your Git history.
View git-delete-history.sh
#!/bin/bash
# Script to permanently remove files/folders from your git history. To use
# it, cd to your repository's root and then run the script with a list of paths
# you want to delete, e.g., git-delete-history path1 path2
set -o errexit
if [ $# -eq 0 ]; then
echo "Usage: $0 file1 file2"
echo " or: $0 path1 path2"
@deiu
deiu / delegated-webid.py
Created Jul 6, 2012
Uses a certificate (in PEM) to authenticate (through WebID) and access a protected page.
View delegated-webid.py
#!/usr/bin/env python
import urllib
import httplib2
cert_file = 'my.pem'
http = httplib2.Http(disable_ssl_certificate_validation=True)
http.add_certificate('', cert_file, domain='')
You can’t perform that action at this time.