Change the highest priority device to current host (#15)

This commit is contained in:
Hidenori Matsubayashi
2021-07-21 16:14:50 +09:00
committed by GitHub
parent 804ea1a0c1
commit 814f470586
+16 -16
View File
@@ -120,6 +120,22 @@ class ELinuxDeviceDiscovery extends PollingDeviceDiscovery {
final List<ELinuxDevice> devices = <ELinuxDevice>[];
// Adds current desktop host.
devices.add(
ELinuxDevice('elinux',
desktop: true,
targetArch: _getCurrentHostPlatformArchName(),
backendType: 'wayland',
logger: _logger ?? globals.logger,
processManager: _processManager ?? globals.processManager,
operatingSystemUtils: OperatingSystemUtils(
fileSystem: globals.fs,
logger: _logger ?? globals.logger,
platform: globals.platform,
processManager: const LocalProcessManager(),
)),
);
// Adds remote devices.
for (final ELinuxRemoteDeviceConfig remoteDevice
in _eLinuxRemoteDevicesConfig.devices) {
@@ -156,22 +172,6 @@ class ELinuxDeviceDiscovery extends PollingDeviceDiscovery {
}
}
// Adds current desktop host.
devices.add(
ELinuxDevice('elinux',
desktop: true,
targetArch: _getCurrentHostPlatformArchName(),
backendType: 'wayland',
logger: _logger ?? globals.logger,
processManager: _processManager ?? globals.processManager,
operatingSystemUtils: OperatingSystemUtils(
fileSystem: globals.fs,
logger: _logger ?? globals.logger,
platform: globals.platform,
processManager: const LocalProcessManager(),
)),
);
return devices;
}