Those two URLs are the same! -- Ryan Cunningham
> On Mar 1, 2015, at 1:28 AM, Jonathan Hadida <jonathan.had...@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 >
