diff options
| author | Leandro Pereira <leandro@hardinfo.org> | 2019-07-01 19:19:54 -0700 |
|---|---|---|
| committer | Leandro Pereira <leandro@hardinfo.org> | 2019-07-04 22:01:04 -0700 |
| commit | 8aea41e153ae1f3110109919a9a3eea0b1cab770 (patch) | |
| tree | aa78684c2fd576c8573d53e3c86675da689492d5 | |
| parent | 4bd03d4abb4060033cfdd068a932d47c367d0869 (diff) | |
Use "debian" for Debian distrocode
When parsing the -- now preferred -- os-release file, the distro ID is
"Debian", which is lowercased.
| -rw-r--r-- | modules/computer/os.c | 4 | ||||
| -rw-r--r-- | pixmaps/distros/debian.png (renamed from pixmaps/distros/deb.png) | bin | 842 -> 842 bytes |
2 files changed, 2 insertions, 2 deletions
diff --git a/modules/computer/os.c b/modules/computer/os.c index d7710151..536d328f 100644 --- a/modules/computer/os.c +++ b/modules/computer/os.c @@ -422,7 +422,7 @@ detect_distro(void) #define DB_PREFIX "/etc/" { DB_PREFIX "arch-release", "arch", "Arch Linux" }, { DB_PREFIX "fatdog-version", "fatdog" }, - { DB_PREFIX "debian_version", "deb" }, + { DB_PREFIX "debian_version", "debian" }, { DB_PREFIX "slackware-version", "slk" }, { DB_PREFIX "mandrake-release", "mdk" }, { DB_PREFIX "mandriva-release", "mdv" }, @@ -475,7 +475,7 @@ detect_distro(void) .codename = g_strdup(distro_db[i].codename) }; } - if (g_str_equal(distro_db[i].codename, "deb")) { + if (g_str_equal(distro_db[i].codename, "debian")) { /* HACK: Some Debian systems doesn't include the distribuition * name in /etc/debian_release, so add them here. */ if (isdigit(contents[0]) || contents[0] != 'D') diff --git a/pixmaps/distros/deb.png b/pixmaps/distros/debian.png Binary files differindex fe63aca6..fe63aca6 100644 --- a/pixmaps/distros/deb.png +++ b/pixmaps/distros/debian.png |
