☰

bash 変数の型を調べることはできますか?

tag-icon • tag-icon bash environment-variables variable array arguments
bash 変数の型を調べることはできますか?

日付を出力する関数を作成しています。環境変数に引数を指定して、ユーザーが出力をカスタマイズできるようにしたいと考えていますdate。書式文字列の空白を保持するには、次のように配列で引数を受け入れたいと思います。

function argdates {
    while [ $# -gt 0 ] && date "${DATE_ARGS[@]}" -d @$1
    do shift
    done
}

日付形式の文字列にスペースがある場合、ユーザーは配列を使用する必要があるかもしれません。

DATE_ARGS=( -u "+%y/%U, %I%p %a" )
argdates 1476395008 1493172224

# output:
# 16/41, 09PM Thu
# 17/17, 02AM Wed

しかし、この場合は配列はやり過ぎかもしれません:

DATE_ARGS="-u -Iseconds"
argdates 1476395008 1493172224

# output:
# date: invalid option -- ' '
# Try 'date --help' for more information.

# output should be:
# 2016-10-13T21:43:28+00:00
# 2017-04-26T02:03:44+00:00

このような単純なケースでは配列を必要としません。変数の型を知ることは可能ですか?

答え1

date数値の非オプションを特別に扱いながら、関数がコマンドラインオプションを GNU に直接渡すようにしたい場合があるようです。

argdates () {
    local -a opts
    local timestamp

    while [ "$#" -gt 0 ] && [ "$1" != '--' ] && [[ "$1" != [0-9]* ]]; do
        opts+=( "$1" )
        shift
    done
    [ "$1" = '--' ] && shift

    for timestamp do
        date "${opts[@]}" -d "@$timestamp"
    done

    # or, with a single invocation of "date":
    # printf '@%s\n' "$@" | date "${opts[@]}" -f -
}

このbash関数は、コマンドライン引数を調べて、opts引数--(オプションの終了を示す標準的な方法) または数字で始まる引数に達するまで、それらを配列に保存します。保存された各引数は、optsコマンドライン引数のリストからシフトされます。

のオプションではない引数が見つかったらdate、残りの引数は UNIX エポック タイムスタンプであると想定し、これらをループして、date各タイムスタンプに対して保存したオプションを使用して を呼び出します。このループをより効率的に行う方法については、コード内のコメントを参照してください。

呼び出し例:

$ argdates 1476395008 1493172224
Thu Oct 13 23:43:28 CEST 2016
Wed Apr 26 04:03:44 CEST 2017

$ argdates -- 1476395008 1493172224
Thu Oct 13 23:43:28 CEST 2016
Wed Apr 26 04:03:44 CEST 2017

$ argdates +%D 1476395008 1493172224
10/13/16
04/26/17

$ argdates +%F 1476395008 1493172224
2016-10-13
2017-04-26

$ argdates -u 1476395008 1493172224
Thu Oct 13 21:43:28 UTC 2016
Wed Apr 26 02:03:44 UTC 2017

$ argdates -u -Iseconds 1476395008 1493172224
2016-10-13T21:43:28+00:00
2017-04-26T02:03:44+00:00

答え2

配列の使用をあきらめて、DATE_ARGSコマンドラインに挿入する文字列を単純にユーザーに指定させることで、これをはるかに簡単に行うことができますdate。

$ argdates(){
    for d; do printf %s "$DATE_ARGS" | xargs date -d "@$d"; done
}
$ DATE_ARGS='-u "+%y/%U, %I%p %a"' argdates 1476395008 1493172224
16/41, 09PM Thu
17/17, 02AM Wed
$ DATE_ARGS='-u -Iseconds' argdates 1476395008 1493172224
2016-10-13T21:43:28+00:00
2017-04-26T02:03:44+00:00

関連情報