Collection of small bash scripts for heavy terminal users