Deschideți terminalul / Rulați aplicații terminale cu diferite shell-uri

Shell-ul meu implicit este zsh (cu oh-my-zsh și alte plugin-uri) și totul funcționează bine. Pe de altă parte, aș vrea -- au un meniu nou, care deschide „terminal bash” (terminal-gnome cu rulează shell bash) -- deschideți câteva aplicații (de exemplu, Midnight Commander) cu bash shell.

Sunt capabil să fac 2) cu variabila env SHELL=BASH. Imi poate explica cineva cum se configureaza asta va rog?? Mulțumiri.

Modul în care un emulator de terminal poate fi setat să folosească un alt shell decât shell-ul implicit diferă între emulatorii de terminal.

Pentru gnome-terminal, puteți schimba shell-ul din fila „Comandă” din dialogul „Preferințe”. Bifați „Run a custom command instead of my shell” și specificați shell-ul pe care doriți să îl rulați.

Pentru a obține ceea ce doriți, creați un profil nou și modificați setarea ca în paragraful anterior. Apoi, puteți lansa gnome-terminal cu acel profil și, prin urmare, cu o carcasă diferită, folosind --profil= opțiune. De exemplu, dacă ați numit noul profil „Personalizat”, atunci puteți lansa gnome-terminal cu acel profil folosind următoarea comandă:

gnome-terminal --profile="Personalizat"

A deschide gnome-terminal și deschideți automat o aplicație, de exemplu mc (Midnight Commander), folosește golul -- la sfarsit:

gnome-terminal --profile="Personalizat" -- mc

Aceasta va deschide emulatorul de terminal cu mc încărcat și rulează pe shell-ul personalizat pe care l-ați definit în profilul „Custom”.