blob: 5ea3e62fd5eaf23aee435f9d855e80ec0b1efcd7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#! /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.
"
|
