Skip to content

Instantly share code, notes, and snippets.

View pkern's full-sized avatar

Philipp Kern pkern

  • Karlsruhe, Germany
View GitHub Profile
@bluecmd
bluecmd / _etc_bash.bashrc.sh
Last active August 9, 2021 11:45
Make your Bash shell VRF aware
# System-wide .bashrc file for interactive bash(1) shells.
# To enable the settings / commands in this file for login shells as well,
# this file has to be sourced in /etc/profile.
# --------- CUT HERE ---------
# Default to management VRF if available
[ -z "${VRF}" ] && sudo -n change-vrf "mgmt" "$$" 2>/dev/null && export VRF="mgmt"
# --------- CUT HERE ---------
@pkern
pkern / archive-mails
Created September 16, 2012 00:24 — forked from fwenzel/cleanup-maildir.py
A script for cleaning up mails in Maildir folders, with proper threading support
#!/bin/sh
BASE=$HOME/Maildir
ARCHIVEBASE=$HOME/Maildir/archive.
for folder in `find $BASE -maxdepth 1 -type d \! -regex '.*/archive\..*' \! -name cur \! -name tmp \! -name new`
do
folder=$(basename $folder)
if [ "${folder}" = "Maildir" ]; then folder=INBOX; fi
./cleanup-maildir.py --archive-folder=${ARCHIVEBASE}${folder} --maildir-root=$BASE --folder-prefix= --age=365 -d 1 -k -u -v archive ${folder}