diff options
author | sharkdp <davidpeter@web.de> | 2017-09-09 15:40:32 +0200 |
---|---|---|
committer | sharkdp <davidpeter@web.de> | 2017-09-09 15:40:32 +0200 |
commit | 1268e982f6647a182547bccbde8d98d79f1950a5 (patch) | |
tree | fe1c6ccf7ee52dfebd1b10c95a08cac62919e72a | |
parent | 31c76989ad83bb4f9b3d3106218051c33f31efef (diff) |
Add --dereference as an alias for --follow
-rw-r--r-- | src/main.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main.rs b/src/main.rs index de4f04f..d917ec9 100644 --- a/src/main.rs +++ b/src/main.rs @@ -338,7 +338,8 @@ fn main() { .arg(Arg::with_name("follow") .long("follow") .short("L") - .help("Follow symlinks")) + .help("Follow symlinks") + .alias("dereference")) .arg(Arg::with_name("null_separator") .long("print0") .short("0") |