| Perintah |
Deskripsi |
|
# find / -name file1 |
mencari berkas dan direktori bernama 'file1' dari '/' [man] |
|
# find / -user user1 |
mencari berkas dan direktori milik 'user1' [man] |
|
# find /home/user1 -name \*.bin |
mencari berkas dengan ekstensi '.bin' di dalam direktori '/home/user1' [man] |
|
# find /usr/bin -type f -atime +100 |
mencari berkas biner yang tidak pernah diakses dalam 100 hari terakhir [man] |
|
# find /usr/bin -type f -mtime -10 |
mencari berkas yang dibuat atau dirubah dalam 10 hari terakhir [man] |
|
# find / -name *.rpm -exec chmod 755 '{}' \; |
mencari berkas dengan ekstensi '.rpm' serta merubah hak berkas saat ketemu [man] |
|
# find / -xdev -name \*.rpm |
mencari berkas dengan ekstensi '.rpm' dengan mengabaikan partisi yang dapat berpindah seperti cdrom, flash-disk, dll.... [man] |
|
# locate \*.ps |
mencari berkas dengan ekstensi '.ps' - sebelumnya jalankan perintah 'updatedb' agar pencarian berhasil [man] |
|
# whereis halt |
menunjukkan lokasi dari berkas biner, sumber atau man [man] |
|
# which halt |
menunjukkan alamat lengkap ke suatu berkas biner / executable [man] |