vieter/src/git/cli.v

90 lines
2.1 KiB
Coq
Raw Normal View History

module git
import cli
import env
import net.http
2022-04-06 22:41:19 +02:00
import json
import git
import response
struct Config {
address string [required]
api_key string [required]
}
2022-04-06 17:57:05 +02:00
// cmd returns the cli submodule that handles the repos API interaction
pub fn cmd() cli.Command {
return cli.Command{
name: 'repos'
description: 'Interact with the repos API.'
commands: [
2022-04-06 16:57:27 +02:00
cli.Command{
name: 'list'
description: 'List the current repos.'
execute: fn (cmd cli.Command) ? {
config_file := cmd.flags.get_string('config-file') ?
conf := env.load<Config>(config_file) ?
2022-04-06 16:57:27 +02:00
list(conf) ?
}
},
2022-04-06 17:16:27 +02:00
cli.Command{
name: 'add'
required_args: 2
2022-04-06 22:41:19 +02:00
usage: 'url branch arch...'
2022-04-06 17:16:27 +02:00
description: 'Add a new repository.'
execute: fn (cmd cli.Command) ? {
config_file := cmd.flags.get_string('config-file') ?
conf := env.load<Config>(config_file) ?
2022-04-06 17:16:27 +02:00
2022-04-06 22:41:19 +02:00
add(conf, cmd.args[0], cmd.args[1], cmd.args[2..]) ?
2022-04-06 17:16:27 +02:00
}
},
cli.Command{
name: 'remove'
required_args: 2
usage: 'url branch'
description: 'Remove a repository.'
execute: fn (cmd cli.Command) ? {
config_file := cmd.flags.get_string('config-file') ?
conf := env.load<Config>(config_file) ?
2022-04-06 17:16:27 +02:00
remove(conf, cmd.args[0], cmd.args[1]) ?
}
},
]
}
}
fn list(conf Config) ? {
mut req := http.new_request(http.Method.get, '$conf.address/api/repos', '') ?
req.add_custom_header('X-API-Key', conf.api_key) ?
res := req.do() ?
2022-04-06 22:41:19 +02:00
data := json.decode(response.Response<map[string]git.GitRepo>, res.text) ?
2022-04-06 22:41:19 +02:00
for id, details in data.data {
println("${id[..8]}\t$details.url\t$details.branch\t$details.arch")
}
}
2022-04-06 17:16:27 +02:00
2022-04-06 22:41:19 +02:00
fn add(conf Config, url string, branch string, arch []string) ? {
mut req := http.new_request(http.Method.post, '$conf.address/api/repos?url=$url&branch=$branch&arch=${arch.join(',')}',
'') ?
2022-04-06 17:16:27 +02:00
req.add_custom_header('X-API-Key', conf.api_key) ?
res := req.do() ?
println(res.text)
}
fn remove(conf Config, url string, branch string) ? {
mut req := http.new_request(http.Method.delete, '$conf.address/api/repos?url=$url&branch=$branch',
'') ?
2022-04-06 17:16:27 +02:00
req.add_custom_header('X-API-Key', conf.api_key) ?
res := req.do() ?
println(res.text)
}