Skip to content
  • Jouke Witteveen's avatar
    Revised bash completion · 2a7aa9d9
    Jouke Witteveen authored
    Bash completion does not deal properly with profile filenames that contain whitespace.
    There are some minor tweaks in this commit as well, but those should be harmless.
    2a7aa9d9