Профиль — это набор настроек Терминала. Терминал поддерживает более одного профиля. Профили Терминала можно настроить на запуск конкретной команды или запуск командного интерпретатора, настроить профиль исключительно на подключение к удалённым компьютерам с помощью SSH, или же настроить профиль, запускающий сеанс GNU Screen.
Доступные настройки Терминала:
Название профиля.
Цвета шрифтов и фона.
Совместимость с клавишами 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.
Чтобы удалить профиль:
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.
Есть замечание? Нашли ошибку? Считаете инструкции неясными? Отправьте отзыв об этой странице.