Closed jhrabi closed 5 years ago
Changed shell commands to use default_profile_gui.stdout in order to get the correct default profile value for changing the default terminal size
Changed shell commands to use default_profile_gui.stdout in order to get the correct default profile value for changing the default terminal size