From cc533cb607d9d96356c12b880d0871a3b24f35e9 Mon Sep 17 00:00:00 2001 From: Nobuyoshi Nakada Date: Sat, 17 Sep 2022 22:51:30 +0900 Subject: [PATCH] Downloader: Define long option aliases --- tool/downloader.rb | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/tool/downloader.rb b/tool/downloader.rb index f09d44851e..3020322a98 100644 --- a/tool/downloader.rb +++ b/tool/downloader.rb @@ -395,18 +395,20 @@ if $0 == __FILE__ end case ARGV[0] - when '-d' + when '-d', '--destdir' destdir = ARGV[1] ARGV.shift - when '-p' + when '-p', '--prefix' # strip directory names from the name to download, and add the # prefix instead. prefix = ARGV[1] ARGV.shift - when '-e' + when '-e', '--exist', '--non-existent-only' since = nil - when '-a' + when '-a', '--always' since = false + when '-u', '--update', '--if-modified' + since = true when '-n', '--dryrun' options[:dryrun] = true when '--cache-dir'