{
  optionsRenamedToSettings = [
    "changeDirectoryCommand"
    "updateOnChange"
    "updateOnChangeCommand"
    "clearJumpsOnChange"
    "autopush"
  ];
}