Use linenoise to get the save file name.