diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-21 18:21:49 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-12-21 18:21:49 +0000 |
| commit | e4f922a74d66153ac099ad909e0ea5151292b8a5 (patch) | |
| tree | a1a91f10170e2f5ad5372ac96b63aa3fcff4e91e /editors/code/.eslintrc.js | |
| parent | 87762874ef53b7a24c13e78faded7bc88ea7e435 (diff) | |
| parent | ee734668308df4549eb2ddbd7fed7911dc3a7ba3 (diff) | |
Merge #6985
6985: Use /etc/os-release to check for NixOS r=matklad a=lnicola
Closes #5641
The motivation in #5641 isn't too strong, but /etc/os-release exists on pretty much every Linux distro, while /etc/nixos sounds like an implementation detail.
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'editors/code/.eslintrc.js')
0 files changed, 0 insertions, 0 deletions