سلام
برای این کا ر میتوانید از این اسکریپت استفاده کنید.
#!/bin/bash
if [ $# -lt 2 ]
then
echo "usage: $0 filename number"
exit 1
fi
#----------------#
while read line
do
let "num = $line / $2"
echo $num
done < $1
exit
توضیح: اسکریپت از دو قسمت تشکیل گردیده است. چون اسکریپت به دو شناسه (نام فایل و عدد صحیح برای تقسیم) نیاز دارد بخش اول کنترل وجود دو شناسه را به عهده دارد ( البته میتوانید آن را توسعه بدهید و کنترل وجود فایل و عدد صحیح بودن شناسه دوم را نیز اضافه نمایید.).
بخش دوم، کار مورد نظر شما را انجام میدهد. این قسمت از یک حلقه تشکیل گردیده که در هر تکرار مقدار متغیر line را (که به واسطه < $1 از یک سطر فایل شما میخواند) به عدد صحیح تعیین شده تقسیم میکند و نمایش میدهد.
اگر مایل باشید میتوانید با استفاده از تغییر مسیر نتیجه را به یک فایل هدایت نمایید.
Scriptname source_filename number > target_filename
البته در آدرس ارایه شده دوستمون هم به طور متنوعتری به مطلب اشاره گردیده است (با استفاده از برنامههای خارج از پوسته مانند bc و awk و..).