#!/usr/bin/sed -f
# center all lines of a file, on a 80 columns width
#
# to change that width, the 2nd number in \{\} must be replaced to w-1

# del leading and trailing spaces
y/	/ /
s/^ *//
s/ *$//

: x
/^.\{1,78\}$/ {
  s/^.*$/ & /
  b x
}  

# Remove trailing spaces
s/ *$//

### colorized by sedsed, a sed script debugger/indenter/tokenizer/HTMLizer
### original script: http://pcsiwa.rett.polimi.it/~paolob/seders/scripts/centre_2.sed