Absolutamente. Você só precisa fazer algum processamento de texto da entrada fornecida - se ela ainda não tiver terminado em .dat
, basta adicionar o .dat
.
#! /bin/bash
if [[ $# -lt 1 ]]; then
echo "Usage: $0 <datafile name>" >&2
exit 1
fi
DATFILE="$1"
if [[ "$DATFILE" != *".dat" ]]; then
DATFILE="${DATFILE}.dat"
fi
if [[ ! -r "$DATFILE" ]]; then
echo "Error: Data file '${DATFILE}' does not exist." >&2
exit 1
fi
echo "Using data file '${DATFILE}'..."