How to fix installation issue of Arduino core for ESP32 Wifi chip in Mac

I just installed Arduino core (https://github.com/espressif/arduino-esp32) on NodeMCU-32S Lua ESP32 dev-kit . Installation is successful but I just can't find the "ESP32 dev module" which should be shown on the Arduino's submenu of development board even if I exit Arduino software and then re-open Arduino software.

After a series of test, I found that the issue is because of the location of the sketch books setting in the preference menu. After I change it to default settings as below,

It works now.

next => The first Arduino ESP32 Test program (to be continued)