Re: dead link

[Ryan Cunningham]

Those two URLs are the same!

-- 
Ryan Cunningham

> On Mar 1, 2015, at 1:28 AM, Jonathan Hadida <Jonathan.hadida@univ.ox.ac.uk> 
> wrote:
> 
> Hi there
> 
> There is a dead link in the online bash manual for shopt: 
> http://www.gnu.org/software/bash/manual/html_node/The-Shopt-Builtin.html
> [promptvars] "Controlling the Prompt" should point to 
> http://www.gnu.org/software/bash/manual/bashref.html#Controlling-the-Prompt
> It currently points to 
> http://www.gnu.org/software/bash/manual/bashref.html#Controlling-the-Prompt, 
> which yields a 404
> 
> Cheers, J
>