Discussion:
As for issue of downloading the patch
XUERUI YAN
2018-04-28 01:37:01 UTC
Permalink
Hey Karl,

Exactly it shows "An error occurred. Error was: No bug number" when we try
to download the patch with wget/curl for this bug:
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=30963#10

And I did not see other link of bug patches downloading has the same issue.

Thanks!

Sincerely,
Xuerui
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=30963#10
I kept received the error as for "An error occurred. Error was: No bug
number".
The download of the patch file works for me.
The link I see has the elements in a different order.
https://debbugs.gnu.org/cgi/bugreport.cgi?att=1;bug=30963;
filename=0001-ls-A-now-overrides-a.patch;msg=10
At any rate, I had nothing to do with the patch, I just reported the
if still problems. --best, karl.
Bruno Haible
2018-04-28 02:04:10 UTC
Permalink
Post by XUERUI YAN
Hey Karl,
Exactly it shows "An error occurred. Error was: No bug number" when we try
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=30963#10
The following commands work for me:

wget 'https://debbugs.gnu.org/cgi/bugreport.cgi?att=1;bug=30963;filename=0001-ls-A-now-overrides-a.patch;msg=10'

curl -o 0001.patch 'https://debbugs.gnu.org/cgi/bugreport.cgi?att=1;bug=30963;filename=0001-ls-A-now-overrides-a.patch;msg=10'

Bruno

Loading...