minor corrections
new post on bash prompt
code font update