diff options
| author | Chris Johnston <chris@thejohnstons.net> | 2018-10-02 22:16:49 -0700 |
|---|---|---|
| committer | skullydazed <skullydazed@users.noreply.github.com> | 2018-10-02 22:16:49 -0700 |
| commit | 2d671a7e1a75bb9d03a40c0e440f897c7e52a15e (patch) | |
| tree | 77b2ff3f95a074108be42924a2b58688954b949a /keyboards/gherkin | |
| parent | 37cfd2c5009b932cfddec815c63c6846a5ef3854 (diff) | |
Enable support for Linux Mint 18 with linux_install.sh (#4042)
Enable support for ubuntu-derived linux-es in installer
Checks /etc/os-release for mention of ubuntu and debian.
Linux Mint uses ID_LIKE=ubuntu, not ID_LIKE=debian (as seen in
Ubuntu 16.04, unsure about others)
Diffstat (limited to 'keyboards/gherkin')
0 files changed, 0 insertions, 0 deletions