1 Minute Tips

月: 2022年4月

  • Python でjsonの配列の変数から value を抜き出す

    Python で jsonの変数を持たせたいことがあり、読み込む上でのメモ

    import json

list = [{"name":"Worker","no":"123"}, {"name":"User","no":"456"}, {"name":"Organization","no":"789"}, {"name": "Position","no":"123"}, {"name": "PositionTranslation","no":"123"}]

for d in list:
print(d.get('name'))
print(d.get('no'))
print("-----")

     

    list の中に json の配列を格納

    loop の中で .get(key名)を行うことで value を取り出すことができる

    結果

    Worker
123
-----
User
456
-----
Organization
789
-----
Position
123
-----
PositionTranslation
123
-----

     

  • [6785] INTERNAL ERROR: cannot create temporary directory!

    原因

    一時領域を作ることができないほどdiskが圧迫している。

    対処

    空き容量を確保する

    docker rm -f $(docker ps -a -q)

    docker builder prune -a -f

    上記両方を行うことで容量を確保できることが多い。

  • python で zipファイルを作成する

    概要

    手元のテキストファイルを単純に zipファイル化するためのメモ

    前提条件

    以下のディレクトリ構成とする

    % tree a 
a
└── 1.csv

    a というディレクトリの配下に 1.csv というファイルが存在したとする

    python3 でzip 化

    import zipfile

with zipfile.ZipFile('1.csv.zip', "w", compression=zipfile.ZIP_DEFLATED) as zf:
    zf.write('a/1.csv',arcname='1.csv')

    a/1.csv を圧縮し、a/1.csv.zip というファイルを生成する。

    a/1.csv.zip を解凍すると、1.csv という名前のファイルが直下に作成される。

    動作確認

    python zip.py

    直下に

    1.csv.zip

    が作られる。

    解凍する

    % unzip 1.csv.zip 
Archive:  1.csv.zip
  inflating: 1.csv

    無事解凍できたことを確認

     % cat 1.csv
NO,CODE
1,987