The problem is that the link under [promptvars] points to http://www.gnu.org/software/bash/manual/html_node/Controlling-the-Prompt.html#Controlling-the-Prompt, and not to the link mentioned above.
*______________________________* *Nick Stoughton* *Aether Things Inc * *San Francisco* +1 (510) 388 1413 On Sun, Mar 1, 2015 at 7:51 AM, Ryan Cunningham <rvskmbr...@gmail.com> wrote: > 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 > > > > >