deviceFile top-level property

String get deviceFile

Implementation

String get deviceFile => '$_sessionDir/device.txt';