jvhaarst

<?php
  header("Cache-Control: no-cache, must-revalidate");
	header("Expires: Sat, 26 Jul 1997 05:00:00 GMT");
	header("Pragma: no-cache");

	function human_filesize($bytes, $decimals = 2) {
		$sz = 'BKMGTP';
		$factor = floor((strlen($bytes) - 1) / 3);
		return sprintf("%.{$decimals}f", $bytes / pow(1024, $factor)) . @$sz[$factor];
	}

jvhaarst

#!/bin/bash

# Reads EXIF creation date from all .JPG files in the
# current directory and moves them carefully under
#
#   $BASEDIR/YYYY/YYYY-MM/YYYY-MM-DD/
#
# ...where 'carefully' means that it does not overwrite
# differing files if they already exist and will not delete
# the original file if copying fails for some reason.

jvhaarst

#!/bin/bash
# Gist mirror script
# Jan van Haarst jan@vanhaarst.net
# 20150115

# Debug
#set -o xtrace
#set -o verbose

# Stop on error

jvhaarst

#!/usr/bin/env python3
# Simple script to print:
# Size of a directory tree
# Number of files in that tree
# Number of hard links in that tree
# Number of softlinks in that tree

import os
import sys
import datetime

jvhaarst

#!/bin/bash
# Script to create bash aliases for hostnames in ssh config and known_hosts files
# Original fom http://samrowe.com/wordpress/2008/07/29/bash-ssh-happiness/
# Updated by ja@vanhaarst.net
# Example usage:
# ALIAS_TEMP=$(mktemp);bash ssh_alias.sh | sort -r > $ALIAS_TEMP;source $ALIAS_TEMP;rm $ALIAS_TEMP;alias

set -o errexit  # Exit on error
set -o nounset  # Exit on use of unset variable
#set -o verbose  # Prints shell input lines as they are read.

jvhaarst

[DEFAULT]
login = [YOUR LOGIN]
password = [YOUR PASSWORD]
START_URL = https://slimmemeterportal.nl/login
LOGIN_URL = https://slimmemeterportal.nl/user_session
DOWNLOAD = [LOCATION TO STORE THE FILES]

jvhaarst

jvhaarst

jvhaarst

import os
import sys
import gzip

filetype="txt"

for line in sys.stdin:
    # {movieName}/{holeNumber}/{qStart}_{qEnd} according to https://pacbiofileformats.readthedocs.io/en/3.0/BAM.html
    (movieName,holeNumber,subread)=(line.split()[0].split('/'))
    directory = movieName+'/'+holeNumber[:3]

jvhaarst