mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-20 14:54:31 +01:00
parent
8f0237531f
commit
2b4242929c
2
build/linux/dist/install.sh
vendored
2
build/linux/dist/install.sh
vendored
@ -29,7 +29,7 @@ xdg_install_f() {
|
||||
TMP_DIR=`mktemp --directory`
|
||||
|
||||
# Create *.desktop file using the existing template file
|
||||
sed -e "s,<BINARY_LOCATION>,${SCRIPT_PATH}/arduino,g" \
|
||||
sed -e "s,<BINARY_LOCATION>,\"${SCRIPT_PATH}/arduino\",g" \
|
||||
-e "s,<ICON_NAME>,${RESOURCE_NAME},g" "${SCRIPT_PATH}/lib/desktop.template" > "${TMP_DIR}/${RESOURCE_NAME}.desktop"
|
||||
|
||||
# Install the icon files using name and resolutions
|
||||
|
Loading…
x
Reference in New Issue
Block a user