This fixes the bug that the scratchpad-terminal is not able to change into a directory with multiple spaces since I forgot to substitute the spaces globally.
This fixes the bug that the scratchpad-terminal is not able to change into a directory with multiple spaces since I forgot to substitute the spaces globally.