#!/bin/bash # Manipulate options in a .config file from the command line usage() { cat >&2 <