On Mon, 15 Jan 2001, Oskar Riandi wrote:
> Kalau /usr/local nya penuh, lebih baik buat direktori local di $HOME_DIR,
> dan buat 'user mode' disana, cukup tambahkan path ini saja :-)
Kadang yang bikin susah mempartisi harddisk di Linux ya ini ... 8)
Sulit menentukan berapa kebutuhan space di masa mendatang. Apalagi kalo
spacenya ngepas ... 8(
Repotnya kalau partisinya bukan hanya / dan swap (yang tidak diajurkan
sebenarnya), tapi juga /usr, /usr/local, /var, /home, . /tmp dll.
Aneh rasanya kalo nanti kita kehabisan space di /usr/local misalnya, tapi
/tmp masih kosong melompong gara2x ngikutin StarOffice yang waktu install
minta space /tmp 100 M lebih ... hehehe.
Bisa sih diakalin, tapi pengguna biasa apa ngeh awalnya ?
Mungkin yang dibutuhkan itu program kayak Partition Magic di Linux, biar
flexible.
ps : Iya, saya memang belom nyoba GNU Parted. Begitu banyak program
di Linux ternyata ... x(
/.detta
--------------------------------------------------------------------------
Utk berhenti langganan, kirim email ke [EMAIL PROTECTED]
Dapatkan FAQ milis dg mengirim email kosong ke [EMAIL PROTECTED]
Informasi arsip di http://www.linux.or.id/milis.php3
Pengelola dapat dihubungi lewat [EMAIL PROTECTED]
