diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2000-09-28 13:29:13 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2000-09-28 13:29:13 +0000 |
| commit | d06a1c4a66bdac7f025174433cd233ef482cefc7 (patch) | |
| tree | 6ba9e7a1b7d6da5d3093fcb4719a676ba2b78486 /urpmi.addmedia | |
| parent | 7ccbfafd4dba68f1005e5d121150b5cbb54e302d (diff) | |
| download | urpmi-d06a1c4a66bdac7f025174433cd233ef482cefc7.tar urpmi-d06a1c4a66bdac7f025174433cd233ef482cefc7.tar.gz urpmi-d06a1c4a66bdac7f025174433cd233ef482cefc7.tar.bz2 urpmi-d06a1c4a66bdac7f025174433cd233ef482cefc7.tar.xz urpmi-d06a1c4a66bdac7f025174433cd233ef482cefc7.zip | |
*** empty log message ***
Diffstat (limited to 'urpmi.addmedia')
| -rwxr-xr-x | urpmi.addmedia | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/urpmi.addmedia b/urpmi.addmedia index 3fa058a8..f95b5980 100755 --- a/urpmi.addmedia +++ b/urpmi.addmedia @@ -85,7 +85,7 @@ my $RPMLIST = "$DIR/list.$name"; !-e $HDLIST || unlink $HDLIST or die "can't remove $HDLIST"; if (my ($prefix, $dir) = $url =~ m,^(removable_.*?|file):/(.*),) { - if (!-e $dir && $dir =~ m|^(/mnt/.*?)|) { + if (!-e $dir && $dir =~ m|^(/mnt/[^/]*)|) { $try2mount{$1} or $try2mount{$1} = 1, `mount $1 2>/dev/null`; } my $f; |