Browse Source

Add Desktop icon where applicable.

master
poikilos 5 years ago
parent
commit
98e9054eb0
  1. 3
      update-minetest-linux64.sh

3
update-minetest-linux64.sh

@ -96,6 +96,9 @@ install_shortcut(){
echo "Icon=$_ICON" >> "$dest_icon" echo "Icon=$_ICON" >> "$dest_icon"
fi fi
echo "Exec=$_EXEC" >> "$dest_icon" echo "Exec=$_EXEC" >> "$dest_icon"
if [ -d "$HOME/Desktop" ]; then
cp -f "$dest_icon" "$HOME/Desktop/$_DST_SHORTCUT_NAME"
fi
if [ "@$enable_clear_icon_cache" = "@true" ]; then if [ "@$enable_clear_icon_cache" = "@true" ]; then
if [ -f "`command -v gnome-shell`" ]; then if [ -f "`command -v gnome-shell`" ]; then
echo "Refreshing Gnome icons..." echo "Refreshing Gnome icons..."

Loading…
Cancel
Save