edc/bass
oh-my-fish/theme-bobthefish
fisherman/getopts
oh-my-fish/plugin-grc
fisherman/shark