💻 Software
Access the name of the gnome terminal profile from the command line
Fresh5 days ago
Mar 15, 20261875 viewsConfidence Score0%
0%
Problem
Gnome Terminal allows to have different profiles. Is it possible to get the profile name under which that terminal started from the command line?
Unverified for your environment
Select your OS to check compatibility.
1 Fix
Canonical Fix
Unverified Fix
New Fix – Awaiting Verification
Fix for: Access the name of the gnome terminal profile from the command line
Low Risk
This doesn't seem to be possible, however you can find out the default terminal title, so all you need to do to distinguish between tabs or profiles is to configure different default titles. The control sequence asks the terminal to insert its title…
Awaiting Verification
Be the first to verify this fix
Sign in to verify this fix