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