[shell] Change URL from `bash_options`
[shell] Change URL from `bash_options`

AlbertoElias/dotfiles,AlbertoElias/dotfiles,christophermoura/dotfiles,newtonne/dotfiles,mickael83/ubuntu-dotfiles,zlot/dotfiles,wingy3181/dotfiles,girishramnani/dotfiles,makabde/dotfiles,mickael83/ubuntu-dotfiles,girishramnani/dotfiles,pbrooks/dotfiles,b-boogaard/dotfiles,EDiLD/dotfiles,christophermoura/dotfiles,wingy3181/dotfiles,newtonne/dotfiles,oddlord/dotfiles,wingy3181/dotfiles,zlot/dotfiles,EDiLD/dotfiles,makabde/dotfiles