The SOL terminal usually messes the terminal output. This commit is adding note how to reset the bash terminal back after leaving SOL.
rebased onto 33ffed4620bfa3970e657213c33385f3378f903d
LGTM
Pull-Request has been merged by kevin
The SOL terminal usually messes the terminal output. This commit is
adding note how to reset the bash terminal back after leaving SOL.