5 Commits

Include renames

Author	SHA1	Message	Date
Ivan Kravets	17360b0ed2	Show the real error message instead of "Can not remove temporary directory" when "platform.ini" is broken // Resolve #4480	2023-01-13 19:56:08 +02:00
Ivan Kravets	b04c1591c2	Use "get_terminal_size().columns" directly	2022-08-03 20:31:56 +03:00
Ivan Kravets	401f8a4891	Added new "pio run --monitor-port" option to specify custom device monitor port to the "monitor" target // Resolve #4337	2022-06-29 22:46:53 +03:00
Ivan Kravets	4bc3e3cf95	Restructure "device" module	2022-06-10 14:01:42 +03:00
Ivan Kravets	52f8e98eed	Move "run" command to the root	2022-05-31 17:20:56 +03:00