panzi

# Version 2:
# This version preserves space, including indentation.
#
# Also if you have lists like this:
#
#    foo ....... bla bla bla
#    bar baz ... bla bla bla bla
#
# It will re-formated it to e.g. this:
#

panzi

Create a new bookmark and set it's URL to this:

    javascript:(function(xs)%7Bfor(var%20i%3D0%3Bi%3Cxs.length%3B%2B%2Bi)%7Bif(xs%5Bi%5D.currentSrc)%7Breturn%20window.open(xs%5Bi%5D.currentSrc)%3B%7D%7D%7D)(document.querySelectorAll('audio%2Cvideo'))%3B

When media is playing using HTML5 audio/video you can click this bookmark to open a new tab/window with the media. Then to download it use the context menu action "Save As..." (right mouse button -> Save As...).

If you use Chrome/Safari/recent Opera (WebKit/Blink) you can do better(!) and immediately download the file using this bookmarklet instead:

    javascript:(function(xs)%7Bfor(var%20i%3D0%3Bi%3Cxs.length%3B%2B%2Bi)%7Bif(xs%5Bi%5D.currentSrc)%7Bvar%20a%3Ddocument.createElement('a')%3Ba.target%3D'_blank'%3Ba.download%3D''%3Ba.href%3Dxs%5Bi%5D.currentSrc%3Ba.click()%3Breturn%3B%7D%7D%7D)(document.querySelectorAll('audio%2Cvideo'))%3B

panzi

Source	Display
[x]	[x]
[x] text	[x] text
- [x]	- [x]
<ul><li>[x]</li></ul>	[x]
:heavy_check_mark:	✔️
:ballot_box_with_check:	☑️
:white_check_mark:	✅
☑	☑

panzi

from PIL import Image

import numpy as np
import cv2

def pil2cv(image: Image) -> np.ndarray:
    mode = image.mode
    new_image: np.ndarray
    if mode == '1':
        new_image = np.array(image, dtype=np.uint8)

panzi

#!/usr/bin/env python3

from typing import Generator

import sys
import mailbox
import argparse
import hashlib

def hash_body(hasher, msg: mailbox.Message) -> None:

panzi

// bookmarklet:
// javascript:(function()%7Bconst%20blob%3Dnew%20Blob(%5BJSON.stringify(localStorage)%5D%2C%7Btype%3A'application%2Fjson'%7D)%3Bconst%20link%3Ddocument.createElement('a')%3Bconst%20url%3DURL.createObjectURL(blob)%3Blink.href%3Durl%3Blink.download%3D'local_storage.json'%3Blink.style.display%3D'none'%3Bdocument.body.appendChild(link)%3Blink.click()%3BsetTimeout(()%3D%3E%7BURL.revokeObjectURL(url)%3Bdocument.body.removeChild(link)%3B%7D%2C250)%3B%7D)()%3B
function exportLocalStorage(){
    const blob = new Blob([JSON.stringify(localStorage)],{type:'application/json'});
    const link = document.createElement('a');
    const url = URL.createObjectURL(blob);
    link.href = url;
    link.download = 'local_storage.json';
    link.style.display='none';
    document.body.appendChild(link);

panzi

#!/usr/bin/env python3

# derived from https://stackoverflow.com/a/67161907/277767
# Changes to the StackOverflow version:
# * delete temporary files that contain vaults!
# * prompt for passwords instead of passing them as program argument
# * more precise vault replacement
# * a bit nicer error messages that points at the line where re-keying failed
# * decryption if no password is provided

panzi

#!/bin/sh

# Usage: ./vacuum_all.sh ~/.config/google-chrome ~/.mozilla

find "$1" -type f -print0|while read -d $'\0' fname; do
	type=`file -b "$fname"`
	case "$type" in
	SQLite*)
		echo "$fname"
		sqlite3 "$fname" "VACUUM;" || exit $?

panzi

// "License": Public Domain
// I, Mathias Panzenböck, place this file hereby into the public domain. Use it at your own risk for whatever you like.
// In case there are jurisdictions that don't support putting things in the public domain you can also consider it to
// be "dual licensed" under the BSD, MIT and Apache licenses, if you want to. This code is trivial anyway. Consider it
// an example on how to get the endian conversion functions on different platforms.

#ifndef PORTABLE_ENDIAN_H__
#define PORTABLE_ENDIAN_H__

#if (defined(_WIN16) || defined(_WIN32) || defined(_WIN64)) && !defined(__WINDOWS__)

panzi

#!/bin/bash

family=`echo "$1"|tr ' ' '+'`
filename=`echo "$1"|sed 's/ //g'`
weight=$2
subset=$3

if [ "$weight" != "" ]; then
	family="$family:$weight"
	filename="$filename-$weight"