-
Notifications
You must be signed in to change notification settings - Fork 98
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Update installation instructions. #54
Comments
Sure, it has been a long overdue I am always postponing. :-( Thank you! :-) |
the credits section provides a link for the original TopIcons extension, but the URL no longer works. It's an IP address rather than a domain name. It responds to ping, but does not respond to my web browser at all, not even a 404 or 501 or whatever. |
...Is there an alternate domain we could use? |
No, the original author has not given any sign of life for years. I could never contact him. |
Okay, done. Two more points:
|
Great :-)
|
Thank you @terrycloth ! |
The README could use some updating.
For example, it offers a long list of shell commands that I think is unnecessary, since you have a Makefile.
Also, I think the note about disabling the GNOME Shell version compatibility check in gsettings might be obsolete. Shell version compatibility checks are disabled by default as of GNOME 3.22 (this link actually appears in the gsettings paragraph). And
metadata.json
explicitly states compatibility with all versions of GNOME as far back as 3.16. So it seems to me that keeping the compatibility check is a good thing for even older versions of GNOME, and disabling the check is unnecessary for newer versions... Unless TopIcons Plus would actually work with versions of GNOME before 3.16.If you agree, I can take care of these rewrites for you, if you like.
The text was updated successfully, but these errors were encountered: