You migrated over using a TimeMachine backup but you likely did not get all system files and so your IDE environment in the Arduino15 folder probably has a configuration that refers to the old OS way
I would do a clean install of the IDE and tools
You migrated over using a TimeMachine backup but you likely did not get all system files and so your IDE environment in the Arduino15 folder probably has a configuration that refers to the old OS way
I would do a clean install of the IDE and tools