разделить большой файл на новый файл с уникальными именами

Совершенно верно. Вам просто нужно немного обработать текст введенного ввода - если он еще не заканчивается на .dat , вы просто добавляете .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}'..."
5
11.02.2016, 17:00
0 ответов

Теги

Похожие вопросы