Search Results

A more general solution is to use printf

while read name age marks; do
printf "%-12s %2i %s\n" "$name" "$age" "$marks"
done <txt

It's simpler still if you use awk, because it will loop over...