#! /usr/bin/env sh

printf "Hi $(id -un) and welcome to the gubbshell 👴🐚!

If you have administrative rights this shell can be used to manage repos.

Commands:
  - \033[1mcreate-repo\033[0m NAME
    create a new repository called NAME. The command will
    prompt for needed information. To create a repo in a group use <group>/name.

  - \033[1mdelete-repo\033[0m NAME
    delete the repository NAME. Note that this is an irreversible operation.

  - \033[1mlist-repos\033[0m
    list current repos

  - \033[1medit-repo\033[0m NAME
    edit repository information for NAME. This will open a restricted editor (nano)
    for editing the repo-specific cgitrc file.
"