Posts Tagged ‘bash’

My dot files (Tips and Tricks for Bash & co.)

.bashrc # If not running interactively, don’t do anything [ -z “$PS1” ] && return # don’t put duplicate lines in the history and ignore same sucessive entries. export HISTCONTROL=ignoreboth # make the history longer HISTFILESIZE=5000 # append to the history file, don’t overwrite it shopt -s histappend # check the window size after each […]

Command-line script to edit PDF file meta-data

I’ve just written a little wrapper around pdftk to simplify the modification of PDF file meta-data. It extracts the existing meta-data, opens it in your favourite editor, writes it back to the original PDF and finally removes the temporary files it generated. #! /bin/sh if [ ! -f “$1” ] then echo “Usage: $0” exit […]

 
Skip to toolbar