diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-09-13 18:22:58 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-09-13 18:22:58 +0100 |
| commit | 5021fff8f4987a866688535b35fc3b7d6008baed (patch) | |
| tree | 9117b4f9e5249300ed6b459af8b930e16c701696 | |
| parent | a9eb229b900cd9c4fa15104e6cc06b2baa1b4c00 (diff) | |
infra: dgit-mirror-ssh-wrap: Fix $package_re
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
| -rwxr-xr-x | infra/dgit-mirror-ssh-wrap | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/dgit-mirror-ssh-wrap b/infra/dgit-mirror-ssh-wrap index 4d0dcc9..3feb6dc 100755 --- a/infra/dgit-mirror-ssh-wrap +++ b/infra/dgit-mirror-ssh-wrap @@ -16,7 +16,7 @@ our ($prefix, $suffix) = @ARGV; $prefix =~ s/\W/\\$&/g; $suffix =~ s/\W/\\$&/g; -my $package = qr{[0-9a-z][-+0-9a-z]*}; +my $package = qr{[0-9a-z][-+.0-9a-z]*}; my $d = qr{$prefix$package$suffix}; my $command = $ENV{SSH_ORIGINAL_COMMAND} |