micro:bitをArduino IDEで使う(openOCDエラー)

Ubuntuで以前からOpenOCD使っていて、

micro:bitにArduinoIDEから書き込めなかったので備忘録として記載

ArduinoIDEからmicro:bitへ書き込むときに

スケッチの書き込み中にエラーが発生しました
/home/user/.arduino15/packages/sandeepmistry/tools/openocd/0.10.0-dev.nrf5/bin/openocd: error while loading shared libraries: libudev.so.1: cannot open shared object file: No such file or directory

と、エラー。

普段のopenOCDを使うようにArduinoIDE側を修正

~/.arduino15/packages/sandeepmistry/hardware/nRF5/0.7.0/platform.txt

のファイルを開き

# OpenOCD sketch upload　項目の

tools.openocd.cmd=bin/openocd

↓
tools.openocd.cmd=openocd

にして、そのあとに続く行の

tools.openocd.upload.pattern="{path}/{cmd}" ...
tools.openocd.program.pattern="{path}/{cmd}" ...
tools.openocd.bootloader.pattern="{path}/{cmd}" ...

↓

tools.openocd.upload.pattern="{cmd}" ...
tools.openocd.program.pattern="{cmd}" ...
tools.openocd.bootloader.pattern="{cmd}" ...

にすれば、micro:bitへ書き込めるようになった