Various tools/settings for terminals