Skip to content

Instantly share code, notes, and snippets.


Francesco Pira pirafrank

View GitHub Profile
BretFisher /
Last active Jan 24, 2022
Getting a Shell in the Docker Desktop Mac VM

2021 Update: Easiest option is Justin's repo and image

Just run this from your Mac terminal and it'll drop you in a container with full permissions on the Docker VM. This also works for Docker for Windows for getting in Moby Linux VM (doesn't work for Windows Containers).

docker run -it --rm --privileged --pid=host justincormack/nsenter1

more info:

h2non /
Last active Oct 18, 2020
libvips 7.42.x cross-platform simple installer script (supports OSX, Debian, Ubuntu, CentOS, Fedora, Amazon Linux)
# Orinally made by Lovell Fuller for sharp
# Usage:
# curl -s | sudo bash -
temoto / Dockerfile
Last active Feb 3, 2020
File layout template for project with multiple docker containers in single repo
View Dockerfile
# I will eat you family and your dog if you use FROM ubuntu for container that runs a service in production
# Reading:
FROM phusion/baseimage:0.9.15
# inspired by
RUN mkdir /build
ADD ./files-build/ /build/
RUN chmod --recursive go-rwx /build
RUN LC_ALL=C DEBIAN_FRONTEND=noninteractive /bin/bash /build/prepare
RUN apt-get clean && rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/*
aborruso /
Last active Aug 29, 2015
Un generatore di feed RSS per VeryBello

#Un generatore di feed RSS per VeryBello Ho creato un generatore di feed RSS per VeryBello, a partire dalla località di cui si vogliono elencare gli eventi. Niente da prendere troppo sul serio, e niente affatto perfetto.

E' fatto con Yahoo Pipes e ha questo URL di base:

Basta cambiare il nome città presente a fine URL e si avrà il feed relativo. Quindi per Palermo sarà

Il feed RSS è un GeoRSS (con tutti i difetti dell'automazione di processo) e ci si fanno rapidamente mappe come quella di sotto.

View My Exiftool

Last updated: 2017-03-18

Searching for Files

Find images in a directory that don't have a DateTimeOriginal

exiftool -filename -filemodifydate -createdate -r -if '(not $datetimeoriginal) and $filetype eq "JPEG"' .

###Output photos that don't have datetimeoriginal to a CSV### Note this can take a long time if you have a lot of jpgs

mhartington / CustomTheme
Last active Dec 8, 2018
If you want to make a custom theme for ionic, and are using scss, this is a base to get you started
View CustomTheme
//Custom Theme test
// Colors
// -------------------------------
$custom: #057b6c !default;
// Buttons
// -------------------------------
$button-custom-bg: $custom !default;
View globlines
ifilter=./ifilter; [ -e "$ifilter" ] || ifilter=ifilter;
if [ "${1:0:1}" == '-' ]; then
pipe="$ifilter $1";
MalphasWats /
Created Dec 15, 2013
Post to GitHub Pages from Editorial
#coding: utf-8
import keychain
import console
import editor
import time
import re
import requests
import json
View index.html
<div class="section group">
<div class="col span_1_of_6">
1 of 6
<div class="col span_1_of_6">
1 of 6
<div class="col span_1_of_6">
1 of 6
pudquick /
Created Nov 20, 2012
pipista - pip module (for installing other modules) for Pythonista
import os, os.path, sys, urllib2, requests
class PyPiError(Exception):
def __init__(self, value):
self.value = value
def __str__(self):
return repr(self.value)
def _chunk_report(bytes_so_far, chunk_size, total_size):
if (total_size != None):