soxofaan

#!/bin/bash

# Build tmux session name from current directory
SESSION_NAME=$(pwd)
# Strip non-alphanumeric characters
SESSION_NAME=${SESSION_NAME//[^a-zA-Z0-9]/}
# Only keep trailing part
SESSION_NAME=Jupyter-${SESSION_NAME: -20}

# Command to run inside tmux session

soxofaan

license: mit
height: 400
border: no

soxofaan

license: mit
height: 500
border: no

soxofaan

import logging
import os
import signal

import time

log = logging.getLogger(__name__)


class SignalCatcher:

soxofaan

license: mit
height: 800
border: no

soxofaan

soxofaan

import math

def zequals(x):
    """
    "Zequals" ruthless rounding: just keep one leading digit.

    examples:
        123  -> 100
        4567 -> 5000
        -0.0345 -> -0.03

soxofaan

Google Apps Script to automatically delete mails with a certain label after a certain time

Usage

0. Think of a deletion scheme and create GMail labels accordingly (e.g. I use labels 'todelete/after1week', 'todelete/after1month' and 'todelete/after3months' here)
1. set up filters in GMail to flag desired mails with these labels
2. create a Google Apps Script with this script (adapt function names, labels and day offsets appropriatedly) and set up triggers as desired

Disclaimer

soxofaan

license: mit
border: no

soxofaan

#!/bin/bash
# Script to fix the SSH agent environment variable after reconnecting to a running screen session.
# Usage: *source* this script (don't just execute).
# For example, if you store it at ~/screen-ssh-agent-fix.sh, create this alias to have it available easily:
# alias screenfix='source ~/screen-ssh-agent-fix.sh'

echo "Updating ssh-agent socket environment.."
echo "Current value:  $SSH_AUTH_SOCK"

export SSH_AUTH_SOCK=$(find /tmp/ssh-* -user `whoami` -name agent\* -printf '%T@ %p\n' 2>/dev/null | sort -k 1nr | sed 's/^[^ ]* //' | head -n 1)