download/
download.rs

1use rpb::bar::Bar;
2use std::fs::File;
3use std::io;
4
5fn main() -> io::Result<()> {
6    let source = File::open("indicateurs_v2.sql")?;
7    let mut target = File::create("src.sql")?;
8    let bar = Bar::default_bytes(source.metadata()?.len() as i64, "downloading");
9    io::copy(&mut bar.reader(source), &mut target).unwrap();
10    Ok(())
11}