Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013-2014
Michael Hill
mdhillca@gmail.com 2013
Create, rename and delete profiles.
조성호
shcho@gnome.org 2016.

# 프로파일 관리

프로파일은 터미널 설정의 모음입니다. 터미널에서는 여러 프로파일을 지원합니다. 터미널 프로파일에서 개별 명령 또는 셸 실행, 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.

# 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.