답변:
예, 옵션이 있습니다. 먼저 다음 deb 패키지를 다운로드하십시오.
데이터 패키지 : gnome-terminal-data_3.6.1_all.deb
기본 패키지 : gnome-terminal_i386.deb (32 비트 OS의 경우) 또는 gnome-terminal_amd64.deb (64 비트 OS의 경우)
둘째, 터미널에서 다음 명령을 사용하여 설치하십시오.
sudo dpkg -i /path/to/gnome-terminal-data_3.6.1-0ubuntu4.1_all.deb
sudo dpkg -i gnome-terminal_3.6.1-0ubuntu4.1_i386.deb
#or, depending on what you downloaded
sudo dpkg -i gnome-terminal_3.6.1-0ubuntu4.1_amd64.deb
셋째, 터미널을 다시 시작하십시오.
지금부터 gnome-terminal을 열면 Google 명령 줄 오류, 경고 및 기타 사항을 빠르게 검색 할 수 있습니다. 텍스트를 강조 표시하고 마우스 오른쪽 버튼으로 클릭 한 다음 "Google 검색"을 선택하십시오. 기본 웹 브라우저가 열리고 Google 검색 결과 페이지로 이동합니다.
우분투 18.04
1) 수퍼 유저가 됨
sudo -s
2) 개발자 패킷을 다운로드하여 설치하여 그놈 터미널 구축
apt-get build-dep gnome-terminal
3) 현재 버전의 gnome-terminal에 대한 소스를 다운로드하고 빌드하십시오.
cd /usr/local/src
apt-get -b source gnome-terminal
4) 소스로 이동합니다 (향후 버전에서 숫자 "3.28.2"변경)
cd gnome-terminal-3.28.2
5) 패치 다운로드
curl https://ypokhilko.linkpc.net/wp-content/uploads/2018/12/search_on_google.patch_.gz --output search_on_google.patch.gz
6) 압축을 풀고 패치를 적용하십시오
gzip -d search_on_google.patch.gz
cat search_on_google.patch | patch -p 1
7) 다시 솔루션 구축
make
8) 이전 버전의 gnome-terminal-server를 저장하십시오.
mv /usr/lib/gnome-terminal/gnome-terminal-server /usr/lib/gnome-terminal/gnome-terminal-server.old
9) 기존 버전 대신 새 버전을 복사
cp ./src/gnome-terminal-server /usr/lib/gnome-terminal/gnome-terminal-server
10) gnome-terminal-server의 오래된 인스턴스를 죽입니다 (현재 gnome-terminal 인스턴스도 닫힙니다)
killall gnome-terminal-server
11) 그놈 터미널을 실행하고 즐기십시오
search on google
플러그인의 출처 를 알려주십시오 . 소스 코드 링크는 훌륭합니다.