elba 0.3.0

elba is a package manager for Idris
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

use super::{args, get};
use clap::{App, Arg, ArgMatches, SubCommand};
use elba::{
    package::Spec,
    retrieve::cache::Cache,
    util::{config::Config, errors::Res},
};
use failure::{format_err, ResultExt};
use std::str::FromStr;

pub fn cli() -> App<'static, 'static> {
    SubCommand::with_name("uninstall")
        .about("Uninstalls the binaries of a package")
        .arg(Arg::with_name("spec").required(true))
        .arg(args::target_bin())
        .arg(args::debug_log())
}

pub fn exec(c: &mut Config, args: &ArgMatches) -> Res<String> {
    let spec = &*args.value_of_lossy("spec").unwrap();
    let spec = Spec::from_str(spec)
        .with_context(|e| format_err!("the spec `{}` is invalid:\n{}", spec, e))?;

    let targets = args
        .values_of("bin")
        .map(|x| x.collect())
        .unwrap_or_else(|| vec![]);

    let logger = get::logger(c, args);
    let shell = c.shell();

    let cache = Cache::from_disk(&logger, c.layout(), shell)?;

    let rc = cache.remove_bins(&spec, &targets)?;

    Ok(format!("removed {} binaries", rc))
}