2020-01-01から1ヶ月間の記事一覧
Javaで以下の様にTimestampの時分秒を0で更新した値に更新する 2020-05-06-18.23.00.000000 → 2020-05-06-00.00.00.000000SimpleDateFormatを用いてフォーマットを指定し変換する Timestamp now = new Timestamp(System.currentTimeMillis()); // Expiration…
test_id="0001"の変数値を0001とダブルクオーテーションを削除したい場合は以下のようにする test_id=echo "$test_id" | sed 's/^.*"\(.*\)".*$/\1/' 尚、シングルクォーテーションの場合はsedを以下のように記述する sed "s/^.*'\(.*\)'.*$/\1/" 変数の値を…
Flutterで画面遷移はWidgetを重ねて遷移する。遷移先から戻る際は重ねたWidgetを削除することで遷移元に戻る routesにて遷移先のWidgetを登録するNavigator.of(context).pushNamed("遷移先のパス") で遷移するNavigator.of(context).pop()にて遷移元に戻る i…
Bashでバッチの処理時間を取得するには以下のようにシェルの開始時と終了時に時刻を取得し、その差異から経過時間を取得する 1.開始時間を取得する start_time=date +%s 終了時刻を取得する end_time=date +%s 開始時刻と終了時刻の差異を算出する time=$((e…
SQLの出力結果をCSVに出力する際に、改行コードを変換する必要がある。 そのため、以下のよう変換をする select replace(replace(column_name,chr(10),' '), chr(13), '') from table 以下のように変換を実施している。 chr(10) → 0x0a(\n) chr(13) → 0x0d(\…