rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-17 11:54:33 +01:00
Code Issues Releases Activity

Merge aa8693e424ceb3e31ba5e01568522f1785643995 into 3278173ef810935e07808deed58783c1bc7ca4cf

Browse Source
This commit is contained in:
Ayush Shaw 2024-11-28 04:19:27 +01:00 committed by GitHub
commit 78c01a8356
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
build/linux/dist/install.sh vendored
View File

@ -205,6 +205,11 @@ simple_uninstall_f() {
# Update desktop file and mime databases (if possible) # Update desktop file and mime databases (if possible)
updatedbs_f() { updatedbs_f() {
if [ ! -f "${HOME}/root/.config/mimeapps.list" ]; then
touch mimeapps.list
chmod +x mimeapps.list
fi
if [ -d "${HOME}/.local/share/applications" ]; then if [ -d "${HOME}/.local/share/applications" ]; then
if command -v update-desktop-database > /dev/null; then if command -v update-desktop-database > /dev/null; then
update-desktop-database "${HOME}/.local/share/applications" update-desktop-database "${HOME}/.local/share/applications"