Saya ingin metode untuk menangkap penggunaan disk pada partisi tertentu, dengan menggunakan direktori tempat partisi tersebut dipasang. Outputnya harus berupa integer tanpa padding atau simbol berikut, karena saya ingin menyimpannya dalam variabel.
Saya telah menggunakan df --output=pcent /mount/point
, tetapi perlu memangkas output karena memiliki header yang tidak perlu, spasi tunggal sebelum nilai, dan simbol% mengikuti nilai seperti:
Use%
83%
Dalam hal ini output yang saya inginkan hanyalah 83
. Saya tidak mengetahui adanya kekurangan untuk menggunakan output dari df
, tetapi saya senang menerima metode lain yang tidak bergantung padanya.
tr
, saya mendapatkan kepalaku berantakan dengan ide-ide sed dan awk.