Kehabisan ruang disk pada direktori / home?

Saya memiliki HD 200GB dan baru saja menginstal Linux Mint (12 - KDE) sebagai satu-satunya OS (saya memformat dan menghapus instalasi Windows 7 saya sebelumnya). Saya sedang dalam proses menginstal "kotak pasir" saya dan karena saya baru di Linux saya menginstal semua hal yang tidak dapat ditemukan dengan manajer paket di bawah /home/<username>direktori saya , hal-hal seperti:

• Jenkins CI
• Artifactory
• Eclipse dan semua pluginnya
• AppDynamics Lite
• WebCastellum

Dan lain-lain. Ketika mencoba menginstal plugin Eclipse (Google GAE / GWT plugin), saya mendapat pemberitahuan bahwa saya akan kehabisan ruang di bawah /homedirektori saya , dan tentu saja, plugin Eclipse gagal menyelesaikan instalasi karena kehabisan ruang disk yang tersedia .

Ketika saya lari dfdari terminal saya mendapatkan output ini:

Filesystem     1K-blocks     Used Available Use% Mounted on
/dev/sda5       13783792 12133900    958336  93% /
udev             4016004        4   4016000   1% /dev
tmpfs            1611136     1056   1610080   1% /run
none                5120        0      5120   0% /run/lock
none             4027832       84   4027748   1% /run/shm

Sekali lagi, baru di Linux, jadi ini tidak berarti banyak bagi saya, tetapi sepertinya saya saat ini menggunakan 93% dari disk saya (yang saya asumsikan /dev/sda5)?

Itu gila!?! Ini adalah 200GB dan yang saya lakukan hanyalah menginstal beberapa aplikasi yang relatif kecil. Saya bahkan tidak berpikir saya memiliki media (foto, video, dll.) Di mesin ini! Saya benar-benar menginstal OS dan mulai mengatur kotak pasir saya!

Beberapa hal:

• Apakah saya membaca dfoutput ini dengan benar?
• Apakah saya perlu "me-mount" atau melakukan sesuatu yang khusus dengan /homedirektori saya yang gagal saya lakukan?
• Apakah biasa mendapatkan kesalahan di luar ruang disk di bawah /homejika Anda adalah pengguna Linux yang tidak berpengalaman (dan tidak melakukan pemasangan atau keajaiban Linux lainnya seperti yang ditentukan di atas)?
• Bagaimana mungkin saya berada di 93%?!?! Bisakah saya punya virus ?!?

Terima kasih sebelumnya atas bantuan apa pun di sini!

Sunting : meskipun saat ini membaca 93% sekarang, tadi malam (ketika saya mendapatkan kesalahan ini) itu di 99%.

Output dari lsblk:

NAME   MAJ:MIN RM   SIZE RO TYPE MOUNTPOINT
sda      8:0    0 232.9G  0 disk 
├─sda1   8:1    0 211.8G  0 part 
├─sda2   8:2    0     1K  0 part 
├─sda5   8:5    0  13.2G  0 part /
└─sda6   8:6    0   7.9G  0 part [SWAP]
sr0     11:0    1  1024M  0 rom  
sdb      8:16   1   1.9G  0 disk 
└─sdb1   8:17   1   1.9G  0 part /media/PKBACK# 001
sr1     11:1    1     7M  0 rom  

Output dari df -h("ukuran yang bisa dibaca manusia") mungkin sedikit lebih jelas daripada polos df.

Bahkan, itu mungkin akan menunjukkan bahwa ukurannya /hanya sekitar 13 GB - Saya kira Anda membuat partisi kedua ~ 190 GB untuk /hometetapi lupa untuk benar-benar memasangnya, sehingga semua file disimpan pada /partisi ( ) pertama .

Anda dapat menggunakan lsblkatau mempartisi alat seperti parted/ gparteduntuk membuat daftar semua partisi yang ada dan ukurannya.

Periksa apakah partisi untuk /hometerdaftar oleh lsblkatau di Anda /etc/fstab, kemudian coba pasang. Tapi untuk saat ini, pasang di tempat lain selain /home, - misalnya, /mnt- untuk mempermudah transfer file.

Pembaruan Anda menunjukkan partisi besar di /dev/sda1. Anda dapat memasang sementara di /mnt:

# mount /dev/sda1 /mnt

Jika perintah berhasil, itu akan kembali dengan tenang. Jika ia mengeluh tentang "fstype tidak dikenal", mungkin saja partisi tersebut belum memiliki sistem file - mkfs.ext4 /dev/sda1akan memformatnya sebagai ext4 , yang paling umum.

Untuk memindahkan file Anda, logout dari akun Anda, kemudian login sebagai root, dan gunakan rsync -avP /home/ /mnt/untuk mentransfer data. Setelah itu, hapus dari yang lama /homesecara manual.

Untuk membuat partisi terpasang secara permanen /home, tambahkan berikut ini ke fstab:

/dev/sda1  /home  ext4  rw,relatime,acl  0  2

Memiliki /dan /homememisahkan membuatnya lebih mudah untuk menginstal ulang Linux (misalnya jika Anda ingin mengubah distribusi). Tetapi jika Anda ingin menggabungkan mereka, Anda dapat melakukannya dengan gparted- namun, hanya dari CD langsung, bukan dari sistem yang sama.

Di dalam GParted, cukup hapus partisi kosong besar, dan ubah ukuran 13 GB yang ada. Ketahuilah bahwa Anda mungkin perlu menginstal ulang bootloader Anda (GRUB atau apa pun) setelah melakukannya.

Jika matematika saya benar, ukuran partisi adalah 13,7 GB berdasarkan nilai dalam kolom 1K-blok. Sepertinya ketika Anda, atau distro linux Anda membuat partisi, itu hanya membuat 13,7 GB tersedia untuk mesin Anda, sisa disk tidak digunakan. Anda dapat mengubah ukuran partisi menggunakan GParted.