Re: adding unencoded space character check to guix lint

2020-03-02 Thread Vincent Legoll
Hello, I retract that WIP,RFC,PATCH, it was mistakenly created after seeing a warning about such unencoded (%20) space characters in url on repology, but since I've been unable to find them again (the warnings). They were temporarily activated on repology, and triggered me into doing something ab

Re: adding unencoded space character check to guix lint

2020-03-02 Thread zimoun
Hi Vincent, On Sat, 29 Feb 2020 at 20:21, Leo Famulari wrote: > > On Sat, Feb 29, 2020 at 04:26:57PM +0100, Vincent Legoll wrote: > > The attached (crude, WIP, RFC) patch allowed to find the following > > packages that have unecoded space characters in their URIs: > > Can you explain a little mor

Re: adding unencoded space character check to guix lint

2020-02-29 Thread Leo Famulari
On Sat, Feb 29, 2020 at 04:26:57PM +0100, Vincent Legoll wrote: > The attached (crude, WIP, RFC) patch allowed to find the following > packages that have unecoded space characters in their URIs: Can you explain a little more about these characters and why we want to avoid them?