bug#26175: guix download fails if filename contains "@"

bug#26175: guix download fails if filename contains "@"

[Hartmut Goebel]

guix download fails if filename contains "@":invalid character `@' in name


$ guix download
mirror://kde/stable/applications/16.12.3/src/kde-l10n/kde-l10n-ca@valencia-16.12.3.tar.xz
[...]
Starting download of /tmp/guix-file.oVF3qZ
From
http://mirror.karneval.cz/pub/kde/stable/applications/16.12.3/src/kde-l10n/kde-l10n-ca@valencia-16.12.3.tar.xz...
 ...cia-16.12.3.tar.xz  2.0MiB            1.4MiB/s 00:01
[####################] 100.0%
guix download: error: build failed: invalid character `@' in name
`kde-l10n-ca@valencia-16.12.3.tar.xz'


Guix version:
/gnu/store/v83285dvjy923ikq1dddncixb6kfba0k-guix-0.12.0-5.1162/bin/guix

-- 
Regards
Hartmut Goebel

| Hartmut Goebel          | h.goebel@crazy-compilers.com               |
| www.crazy-compilers.com | compilers which you thought are impossible |

bug#26175: guix download fails if filename contains "@"

[Ludovic Courtès]

Hello,

Hartmut Goebel <h.goebel@crazy-compilers.com> skribis:

> guix download fails if filename contains "@":invalid character `@' in name
>
>
> $ guix download
> mirror://kde/stable/applications/16.12.3/src/kde-l10n/kde-l10n-ca@valencia-16.12.3.tar.xz
> [...]
> Starting download of /tmp/guix-file.oVF3qZ
> From
> http://mirror.karneval.cz/pub/kde/stable/applications/16.12.3/src/kde-l10n/kde-l10n-ca@valencia-16.12.3.tar.xz...
>  ...cia-16.12.3.tar.xz  2.0MiB            1.4MiB/s 00:01
> [####################] 100.0%
> guix download: error: build failed: invalid character `@' in name
> `kde-l10n-ca@valencia-16.12.3.tar.xz'

To address this we’d need an extra command-line option in ‘guix
download’ to specify the name to use in the store (similar to the
‘file-name’ field in <origin>.)

So one would type:

  guix download --name=foo.tar.xz mirror://…/kde-l10n-ca@valencia-16.12.3.tar.xz

In the meantime, you can work around it by doing something like:

  guix download -o foo.tar.xz mirror://…/kde-l10n-ca@valencia-16.12.3.tar.xz
  guix hash foo.tar.xz

Thanks,
Ludo’.

bug#26175: guix download fails if filename contains "@"

[Hartmut Goebel]

Am 20.03.2017 um 23:22 schrieb Ludovic Courtès:
> To address this we’d need an extra command-line option in ‘guix
> download’ to specify the name to use in the store (similar to the
> ‘file-name’ field in <origin>.)
>
> So one would type:
>
>   guix download --name=foo.tar.xz mirror://…/kde-l10n-ca@valencia-16.12.3.tar.xz

IMHO this i not a good solution, since it puts the burden of handling a
non-obvious restriction to the user. This makes things complicated and
less-skilled discourages people. "guix download" should implement some
escape automatic mechanisms.

-- 
Regards
Hartmut Goebel

| Hartmut Goebel          | h.goebel@crazy-compilers.com               |
| www.crazy-compilers.com | compilers which you thought are impossible |

bug#26175: guix download fails if filename contains "@"

[Ludovic Courtès]

Hartmut Goebel <h.goebel@crazy-compilers.com> skribis:

> Am 20.03.2017 um 23:22 schrieb Ludovic Courtès:
>> To address this we’d need an extra command-line option in ‘guix
>> download’ to specify the name to use in the store (similar to the
>> ‘file-name’ field in <origin>.)
>>
>> So one would type:
>>
>>   guix download --name=foo.tar.xz mirror://…/kde-l10n-ca@valencia-16.12.3.tar.xz
>
> IMHO this i not a good solution, since it puts the burden of handling a
> non-obvious restriction to the user. This makes things complicated and
> less-skilled discourages people. "guix download" should implement some
> escape automatic mechanisms.

Oh right, that’s another possibility, and I agree it’d be better.

Ludo’.