[readline] Default value for BASH