Mengapa. Profil tidak bersumber saat membuka terminal?


36

Baru saja menginstal Ubuntu 14.04.1 LTS.

Menurut. Profil,

# ~/.profile: executed by the command interpreter for login shells. 
# This file is not read by bash, if ~/.bash_profile or ~/.bash_login exists.

Tidak ada ~ / .bash_profile atau ~ / .bash_login.

Tampaknya tidak sumber .profile saat membuka terminal.

  1. Mengapa tidak sumber .profile saat membuka terminal?
  2. Mengapa. Profil di sana jika tidak bersumber?
  3. Bagaimana saya tahu / mengontrol apa yang bersumber ketika terminal baru dibuka?
  4. Ketika terminal baru dibuka, apakah ia melakukan "login"?
  5. Di mana tempat yang baik untuk menambahkan $ HOME / bin ke jalur saya? .bashrc? Apakah itu akan menyebabkan masalah karena .profile memiliki kode yang sama?

Jawaban:


34
  1. Karena terminal biasanya tidak menjalankan shell login secara default. Mereka juga biasanya memiliki opsi untuk menjalankan shell login, yang memang sumbernya .profile.
  2. Untuk mengontrol perilaku shell login.
  3. Tergantung pada shell. Untuk bash, lihat kumpulan file startup .
  4. Tidak dalam arti tertentu (misalnya memperbarui catatan login).
  5. Jika Anda memiliki folder yang disebut bindi $HOME, default .profileuntuk Ubuntu tidak menambahkannya ke Anda PATH. Karena .profilebersumber dari login (bahkan dengan login GUI), itu harus menjadi bagian dari Anda PATHuntuk shell non-login dimulai setelah login ulang. Tidak salah jika sebuah direktori muncul dua kali dalam PATH, lihat pertanyaan U&L ini untuk detailnya.

3
OKE, sekarang masuk akal. Perlu masuk kembali ke GUI untuk melihat perubahan pada .profile.
B Seven

1
@BBahkan Anda selalu dapat sumber secara manual untuk setiap shell baris perintah: . .profileatau source .profile.
muru

. .profileitu keren dan saya belum pernah melihatnya sebelumnya. Tidak dapat menemukan banyak info tentang perintah periode. Bisakah Anda memberikan referensi dan tautan ke pintasan berguna lainnya? Terima kasih!
B Seven

1
@BSeven untuk perintah shell seperti .atau source, Anda dapat menggunakan help: help ., misalnya. Secara umum, lihat Panduan Pemula Bash TLDP , Bab 3 . Bash Beginner's Guide agak ketinggalan jaman di beberapa tempat, tetapi bagus untuk titik awal. Atau lihat tautan lain di salah satu jawaban saya yang lain .
muru


8

Saya menemukan saya harus mengedit profil Default. Di terminal, klik Preferensi> Profil> Edit> Perintah> Jalankan perintah sebagai shell login

Setelah terminal baru akan sumber skrip .profile .

masukkan deskripsi gambar di sini


1
IIUC ini adalah peretasan karena biasanya .profil seharusnya bersumber sebelum memulai terminal GUI dan itu berlebihan untuk sumber itu lagi setiap kali Anda menelurkan jendela terminal.
Mu Mind
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.