#! /bin/sed -f
# Put the indentation in hold space
/:$/ {
h
s,\.:,,
s,[^/:]*[/:], ,g
x
}
# Add the indentation in front of the line
G
s:\(.*\)\n\(.*\):\2\1:
### colorized by sedsed, a sed script debugger/indenter/tokenizer/HTMLizer
### original script: http://pcsiwa.rett.polimi.it/~paolob/seders/scripts/indentls.sed