Add local icon

This commit is contained in:
Andros Fenollosa 2018-09-10 18:41:07 +02:00 committed by GitHub
parent dac0304815
commit 626fbe827e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -34,9 +34,15 @@ Ubuntu/Debian (Gnome Shell) installing
.. code-block:: sh .. code-block:: sh
# Install kitty
curl -L https://sw.kovidgoyal.net/kitty/installer.sh | sh /dev/stdin curl -L https://sw.kovidgoyal.net/kitty/installer.sh | sh /dev/stdin
curl https://sw.kovidgoyal.net/kitty/_static/kitty.png --output ~/.local/share/applications/kitty.png # Create symbolic link
echo -e "[Desktop Entry]\nEncoding=UTF-8\nName=Kitty\nExec=/home/$USER/.local/kitty.app/bin/kitty\nIcon=/home/$USER/.local/share/applications/kitty.png\nType=Application\nCategories=Application;" >> ~/.local/share/applications/kitty.desktop ln -s ~/.local/kitty.app/bin/kitty ~/.local/bin/
# Create desktop icons in GNOME SHELL
cp ~/.local/kitty.app/share/applications/kitty.desktop ~/.local/share/applications
# Link icon
sed -i "s/Icon\=kitty/Icon\=\/home\/$USER\/.local\/kitty.app\/share\/icons\/hicolor\/256x256\/apps\/kitty.png/g" ~/.local/kitty.app/share/applications/kitty.desktop
Customizing the installation Customizing the installation