Bagaimana saya bisa memastikan suatu variabel hanya berisi nama file yang valid?

Dengan skrip di bawah ini, bagaimana saya bisa memastikan bahwa argumen tersebut hanya berisi nama file yang valid di dalam /home/charlesingalls/dan bukan path ( ../home/carolineingalls/) atau wildcard, dll?

Saya hanya ingin skrip dapat menghapus satu file dari direktori hard-coded yang diberikan. Skrip ini akan berjalan sebagai pengguna istimewa.

#!/bin/bash

rm -f /home/charlesingalls/"$1"

Jika Anda hanya ingin menghapus file di /home/charlesingalls(dan bukan file di subdirektori) maka mudah: cukup periksa bahwa argumennya tidak mengandung a /.

case "$1" in
  */*) echo 1>&2 "Refusing to remove a file in another directory"; exit 2;;
  *) rm -f /home/charlesingalls/"$1";;
esac

Ini berjalan rmbahkan jika argumennya adalah .atau ..atau kosong, tetapi dalam kasus itu rmakan gagal menghapus direktori.

Wildcard tidak relevan di sini karena tidak ada ekspansi wildcard yang dilakukan.

Ini aman bahkan di hadapan tautan simbolik: jika file tersebut adalah tautan simbolik, symlink (yang ada di dalam /home/charlesingalls) akan dihapus, dan target tautan itu tidak terpengaruh.

Perhatikan bahwa ini mengasumsikan bahwa /home/charlesingallstidak dapat dipindahkan atau diubah. Itu seharusnya ok jika direktori tersebut dikodekan dalam skrip, tetapi jika itu ditentukan dari variabel maka penentuan mungkin tidak lagi valid pada saat rmperintah dijalankan.

Berdasarkan informasi tambahan bahwa argumen tersebut adalah nama host virtual, Anda harus melakukan daftar putih daripada daftar hitam: periksa bahwa nama tersebut adalah nama host virtual yang masuk akal, bukan hanya melarang garis miring. Saya memeriksa apakah namanya dimulai dengan huruf kecil atau digit dan tidak mengandung karakter selain huruf kecil, digit, titik dan garis.

LC_CTYPE=C LC_COLLATE=C
case "$1" in
  *[!-.0-9a-z]*|[!0-9a-z]*) echo >&2 "Invalid host name"; exit 2;;
  *) rm -f /home/charlesingalls/"$1";;
esac

Jawaban ini mengasumsikan bahwa $1diizinkan untuk memasukkan subdirektori. Jika Anda tertarik pada kasus yang lebih sederhana di mana $1seharusnya menjadi nama direktori sederhana, maka lihat salah satu jawaban lainnya.

Wildcard tidak diperluas ketika dalam tanda kutip ganda. Karena $1dalam tanda kutip ganda, wildcard tidak menjadi masalah.

Keduanya ../dan symlink dapat mengaburkan lokasi sebenarnya dari suatu file. Yang ditunjukkan di bawah ini adalah tes untuk menentukan apakah file tersebut benar-benar, tidak hanya tampaknya, di bawah jalur yang kita inginkan.

Sistem yang lebih baru: menggunakan realpath

Adapun untuk mengetahui apakah file tersebut benar-benar jika file tersebut benar-benar di bawah /home/charlesingalls/atau tidak, Anda dapat menggunakan realpath:

realpath --relative-base=/home/charlesingalls/ "/home/charlesingalls/$1"  | grep -q '^/' && exit 1

Di atas berjalan exit 1jika file yang ditentukan oleh $1mana saja selain di bawah direktori /home/charlesingalls/. realpathmengkanonik seluruh jalur, menghilangkan symlink dan ../.

realpath adalah bagian dari GNU coreutils dan harus tersedia di sistem Linux apa pun.

realpathmembutuhkan GNU coreutils 8.15 (Jan 2012) atau lebih baik .

Contohnya

Untuk mendemonstrasikan bagaimana realpath mengikuti ../untuk menentukan lokasi sebenarnya dari suatu file (misalnya, -qopsi untuk grep dihilangkan sehingga output aktual dari grep terlihat):

$ touch /tmp/test
$ realpath --relative-base=$HOME "$HOME/../../tmp/test" | grep '^/' && echo FAIL
/tmp/test
FAIL

Untuk mendemonstrasikan cara mengikuti symlinks:

$ ln -s /tmp/test ~/test
$ realpath --relative-base=$HOME "$HOME/test" | grep '^/' && echo FAIL
/tmp/test
FAIL

Sistem yang lebih lama: menggunakan readlink -e

readlinkjuga mampu mengkononisasi jalur, mengikuti kedua symlinks dan ../:

readlink -e "$HOME/test" | grep -q "^$HOME" || exit 1

Menggunakan contoh file yang sama:

$ readlink -e "$HOME/../../tmp/test" | grep "$HOME" || echo FAIL
FAIL
$ readlink -e "$HOME/test" | grep "^$HOME" || echo FAIL
FAIL

Selain tersedia di sistem GNU yang lebih lama, versi readlinktersedia di BSD.

Jika Anda ingin melarang path sepenuhnya, cara paling sederhana adalah dengan menguji apakah variabel berisi slash ( /). Dalam bash:

if [[ "$1" = */* ]] ; then...

Ini akan memblokir semua jalur, termasuk foo/bar. Anda bisa menguji .., tetapi itu akan meninggalkan kemungkinan symlink menunjuk ke direktori di luar jalur target.

Jika Anda hanya ingin mengizinkan penghapusan satu file, saya tidak berpikir Anda harus menggunakan rm -r.

Juga, tergantung pada apa yang Anda lakukan, Anda bisa menggunakan izin file sistem untuk hanya mengizinkan menghapus file yang bisa dihapus sendiri oleh pengguna. Sesuatu seperti ini:

su charlesingalls -c "rm /home/charlesingalls/'$1'"

Meskipun seperti yang dikomentari @Gilles, ini memiliki masalah kutipan: ia akan gagal jika $1berisi satu kutipan, jadi variabel harus diuji terlebih dahulu (dengan misalnya if [[ "$1" = *\'* ]] ; then fail...atau lebih dengan memasukkan daftar karakter yang masuk akal), atau nama file dilewatkan variabel lingkungan dengan mis

file="$1" su charlesingalls -c 'rm "/home/charlesingalls/$file"'