Διαχείριση προφίλ
Ένα προφίλ είναι μια συλλογή ρυθμίσεων του Τερματικού. Το Τερματικό υποστηρίζει πολλαπλά προφίλ. Μπορείτε να ρυθμίσετε τα προφίλ του Τερματικού για την εκτέλεση μιας προσαρμοσμένης εντολής ή κελύφους, ορίστε μια κατατομή αποκλειστικά για σύνδεση με απομακρυσμένους υπολογιστές χρησιμοποιώντας SSH ή ορίστε ένα προφίλ που ξεκινά μια συνεδρία οθόνης GNU.
Οι διαθέσιμες ρυθμίσεις του Τερματικού περιλαμβάνουν:
Όνομα προφίλ.
Χρώματα γραμματοσειράς και παρασκηνίου.
Συμβατότητα με τα πλήκτρα Backspace και Delete.
Κύλιση.
Επιλογή προφίλ
If you have two or more profiles defined, you can change the profile in your current Terminal tab or window by selecting a profile from Terminal ▸ Change Profile.
Δημιουργία νέου προφίλ
To create a new profile with the default settings of Terminal:
Select Edit ▸ Preferences.
In the sidebar, click on the + button next to the Profiles label.
Enter a name for the new profile. You can change this name later.
Click Create to create the new profile.
Set your desired profile preferences. These will be saved automatically.
Δημιουργία νέου προφίλ με βάση ένα υπάρχον προφίλ
Μπορείτε να δημιουργήσετε ένα νέο προφίλ με βάση τις ρυθμίσεις από ένα υπάρχον προφίλ:
Select Edit ▸ Preferences.
In the sidebar select the profile on which your new profile should be based.
Click on the arrow next to the profile name.
Select Clone….
Enter a name for the new profile. You can change this name later.
Click Clone to create the new profile.
Set your desired profile preferences. These will be saved automatically.
Η δημιουργία ενός νέου προφίλ από ένα υπάρχον δεν θα επηρεάσει τις ρυθμίσεις σε ένα υπάρχον προφίλ. Οποιεσδήποτε αλλαγές στις ρυθμίσεις θα αποθηκευτούν στο νέο προφίλ.
Επεξεργασία προφίλ
Αν το προεπιλεγμένο προφίλ επεξεργασθεί, δεν θα μπορεί να ανακτησεί τις αρχικές ρυθμίσεις! Αν δεν έχετε ήδη δημιουργήσει οποιαδήποτε άλλα προφίλ για το Τερματικό και έχετε προσαρμόσει το προεπιλεγμένο προφίλ, το Τερματικό μπορεί να γίνει άχρηστο αν οποιαδήποτε ρύθμιση προκαλέσει προβλήματα. Συνιστάται η δημιουργία αντιγράφου του προεπιλεγμένου προφίλ, και έπειτα η επεξεργασία του αντιγράφου για δημιουργία ενός προσαρμοσμένου προφίλ.
You can make changes to existing profiles. To edit a profile:
Select Edit ▸ Preferences.
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 Edit ▸ Preferences.
Επιλέξτε το προφίλ που επιθυμείτε να μετονομάσετε.
Click on the arrow next to the profile name.
Select Rename….
Enter the new profile name.
Click Rename to rename.
Delete a profile
Διαγραφή προφίλ:
Select Edit ▸ Preferences.
Επιλέξτε το προφίλ που επιθυμείτε να διαγράψετε.
Click on the arrow next to the profile name.
Select Delete….
Click Delete to confirm.
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 Terminal could not otherwise decide which profile to use. For example, Terminal is started up freshly and opens its first terminal window. In contrast, when you use a menu entry or keyboard shortcut of Terminal to open a new terminal, the profile of the existing terminal is used.
Select Edit ▸ Preferences.
Select the profile you wish to set as the default.
Click on the arrow next to the profile name.
Select Set as default.
The default profile is marked with a check mark symbol.