Ένα προφίλ είναι μια συλλογή ρυθμίσεων του
Οι διαθέσιμες ρυθμίσεις του
Όνομα προφίλ.
Χρώματα γραμματοσειράς και παρασκηνίου.
If you have two or more profiles defined, you can change the profile in
your current
To create a new profile with the default settings of
Select
In the sidebar, click on the
Enter a name for the new profile. You can change this name later.
Click
Set your desired profile preferences. These will be saved automatically.
Μπορείτε να δημιουργήσετε ένα νέο προφίλ με βάση τις ρυθμίσεις από ένα υπάρχον προφίλ:
Select
In the sidebar select the profile on which your new profile should be based.
Click on the arrow next to the profile name.
Select
Enter a name for the new profile. You can change this name later.
Click
Set your desired profile preferences. These will be saved automatically.
Η δημιουργία ενός νέου προφίλ από ένα υπάρχον δεν θα επηρεάσει τις ρυθμίσεις σε ένα υπάρχον προφίλ. Οποιεσδήποτε αλλαγές στις ρυθμίσεις θα αποθηκευτούν στο νέο προφίλ.
Αν το προεπιλεγμένο προφίλ επεξεργασθεί, δεν θα μπορεί να ανακτησεί τις αρχικές ρυθμίσεις! Αν δεν έχετε ήδη δημιουργήσει οποιαδήποτε άλλα προφίλ για το
You can make changes to existing profiles. To edit a profile:
Select
Your current profile is selected in the sidebar. If you wish to edit a different profile, click on its name.
Once the desired profile is selected, you can:
Επιλέξτε Γραμματοσειρά, Σχήματα δρομέα και μέγεθος
Μπορεί επίσης να αλλάξετε τη συμπεριφορά του
Για να αλλάξετε το παρασκήνιο και το χρώμα κειμένου του
Οι αλλαγές στο προφίλ αποθηκεύονται αμέσως. Για επιστροφή στο
Μπορείτε να μετονομάσετε υπάρχουσα προφίλ, συμπεριλαμβανομένων των προεπιλεγμένων προφίλ:
Select
Επιλέξτε το προφίλ που επιθυμείτε να μετονομάσετε.
Click on the arrow next to the profile name.
Select
Enter the new profile name.
Click
Διαγραφή προφίλ:
Select
Επιλέξτε το προφίλ που επιθυμείτε να διαγράψετε.
Click on the arrow next to the profile name.
Select
Click
The default profile cannot be deleted. If you wish to delete that profile, first set another profile as default.
The default profile is loaded when a new terminal is opened unless you have selected another profile. Any changes that you make to the settings will be stored in the currently selected profile.
The default profile is used when
Select
Select the profile you wish to set as the default.
Click on the arrow next to the profile name.
Select
The default profile is marked with a check mark symbol.