Skip to content

Instantly share code, notes, and snippets.

@rubo77
rubo77 / download-mozilla-portable.sh
Last active October 7, 2024 07:41
a script that downloads a certain Firefox or Thunderbird version and installs it in an extra folder to create an independent and portable App for Linux. source: http://portableapps.com/node/16344
#!/bin/sh
# Configure the following default variables according to your requirements
language="en-US" # e.g. "de" or "en-US"
if [ ! "$1" ]; then
# default if no argument is set:
version="95.0" # chose from http://download.cdn.mozilla.net/pub/mozilla.org/firefox/releases/
application="firefox" # "thunderbird" or "firefox" but file extension, archive extraction, and binary
fi
@aeris
aeris / qrcode-backup.rb
Created March 10, 2014 22:57
Backup file into QR code
#!/usr/bin/env ruby
require 'chunky_png'
require 'rqrcode_png'
CHUNK_SIZE=4096/6 # 5462 bits, QRCode 29 = 5608 bits
IMG_SIZE = 800
IMG_PER_LINE = 2
def chunk(string, size)
string.scan /.{1,#{size}}/om
@kik
kik / GCJ2011Qual-A.v
Created May 14, 2011 01:40
GCJ 2011 Qual-A さらにやり直し。今度こそ完璧な証明が書けたはずだ
Require Import ZArith.
Require Import List.
Open Scope Z_scope.
Set Implicit Arguments.
Unset Strict Implicit.
Inductive Robo : Set := Blue | Orange.
Inductive Order : Set := order : Robo -> Z -> Order.