Shell

How to pad string with zeroes & right-justify in bash using sed

Categories: Shell

Uli Köhler

2019-08-08 0 min read

How to convert a DVI file to SVG on the command line

Categories: LaTeX, Linux, Shell

Uli Köhler

2019-07-30 0 min read

How to recompress gzipped .gz files to .xz files on Linux

Categories: Linux, Shell

Uli Köhler

2019-06-25 1 min read

Listing devices supported by OpenWRT

Categories: Embedded, Shell

Uli Köhler

2014-07-19 1 min read

git svn: Clone latest revision only

Categories: Git, Shell, Subversion, Version Management

Uli Köhler

2013-02-11 1 min read

SVN: Find last revision number without cloning

Categories: Shell, Subversion, Version Management

Uli Köhler

2013-02-11 0 min read

Enable Menu-Style Autocompletion in ZSH

Categories: Shell

Uli Köhler

2013-01-11 1 min read

Shell: Strip directory from path

Categories: Shell

Uli Köhler

2012-12-08 0 min read

Convert ZIP to TAR using Linux shell

Categories: Shell

Uli Köhler

2012-11-22 0 min read

Strip extension from filename in bash/zsh

Categories: Shell

Uli Köhler

2012-11-22 1 min read