Display manager for GNOME
GNOME Display Manager is a system service that is responsible for providing graphical log-ins and managing local and remote displays.
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/gjgy88cripwww8364mjqsgg956i23v8z-gdm-3.32.0.drv | ||
mips64el-linux | /gnu/store/l8fgnqs42i323kzb1s3m1l88myzp88cl-gdm-3.32.0.drv | ||
i686-linux | /gnu/store/cbxxk50r763sscgbkhm87nfcbgdv9xpb-gdm-3.32.0.drv | ||
armhf-linux | /gnu/store/p670mgfpp2ckl51h1756w05y562zrzcc-gdm-3.32.0.drv | ||
aarch64-linux | /gnu/store/9kcf9zng6sfxdi0px09fm4vi56kgypb4-gdm-3.32.0.drv |
Linter | Message | Location |
---|---|---|
formatting Look for formatting issues in the source | line 6887 is way too long (103 characters) | |
formatting Look for formatting issues in the source | line 6888 is way too long (103 characters) |