James D. Lin bdbe6774a3 [flutter tools] Change the desktop device names and IDs (#58812) ... In google3, the Linux device is always available, and it has confused people who run the Flutter doctor and see "• Linux • Linux • linux-x64 • Linux" listed. Rename the Linux device name to "Linux desktop" and the device ID to be "linux". Make similar changes to the Windows and macOS devices for consistency. This is also consistent with the web devices. The device ID change shouldn't be break -d usage since that does a case-insensitive prefix match.		2020-06-18 15:30:00 -07:00
..
linux_device_test.dart	[flutter tools] Change the desktop device names and IDs (#58812)	2020-06-18 15:30:00 -07:00
linux_doctor_test.dart	Switch Linux to the GTK embedding (#59287)	2020-06-16 13:31:24 -07:00
linux_workflow_test.dart	[flutter_tools] Restore base/platform.dart (#56410)	2020-05-06 08:15:39 -07:00