Revert "removed terminal proprietary/switched to dirty-unicorn's terminal now"

This reverts commit 4c7a72baef770279835412f4317ceccd0c9c6df5.