spaette

 

to use a different terminal, _e.g._ uxterm, modify the .desktop file Exec=uxterm -e julia Terminal=false KDE's default is konsole to use a different image file format, _e.g._ jl.png locate jl.png...

here's the kde.shar file with contrib/julia.appdata.xml included if kde.shar is added to contrib, and the component files are modified, _e.g._ contrib/julia.appdata.xml updated please use `shar -s [email protected] -T * >...

@ViralBShah Incidentally, .mailmap being a top level repository file is likely indexed by search engines. Regarding privacy concerns, I've read that the file can be instead under .github which would...

opening https://github.com/JuliaLang/julia/commit/a8275e544abbccf39faece64d89f80e4fa8f068c, adding ".patch", and reloading the page will render an email address likewise a repository cloned and cd'ed into and running `git log` will render email addresses the rendered...

On GNOME's **Activities** menu rendered 48x48 *.xpm files appear "grainy". Of the KDE .desktop file the user could substitute a higher resolution .png located in ~/.local/share/icons or a subdirectory thereof....

contrib/windows/icon-readme.md The julia.ico file was created from multiple .png files. ``` $ cd /tmp $ file julia/contrib/windows/julia.ico julia/contrib/windows/julia.ico: MS Windows icon resource - 9 icons, 256x256 with PNG image data,...

Save the previous comment's .png as julia.png and add it to contrib along with replacing the .svg file. > i.e. copy julia-dots.svg to contrib/julia.svg contrib/README.md ``` |[ julia.png ](https://github.com/JuliaLang/julia/blob/master/contrib/julia.png) |...

@JeffBezanson Does the last comment look OK for a PR? I've modified the last comment's .desktop file comment. Possibly the `gtk-update-icon-cache -f /usr/share/icons/hicolor` command could be added to contrib/README.md.

contrib/README.md ```diff - |[ julia.desktop ](https://github.com/JuliaLang/julia/blob/master/contrib/julia.desktop) | GNOME desktop config file | + |[ julia.desktop ](https://github.com/JuliaLang/julia/blob/master/contrib/julia.desktop) | Desktop Entry file | + |[ julia.png ](https://github.com/JuliaLang/julia/blob/master/contrib/julia.png) | Julia png image file...