2024-05-20 22:00:06 +02:00
|
|
|
[Trigger]
|
|
|
|
|
Operation = Install
|
|
|
|
|
Operation = Upgrade
|
2024-05-22 09:59:25 +02:00
|
|
|
Type = Path
|
|
|
|
|
Target = /usr/share/applications/org.gnome.Terminal.desktop
|
2024-05-20 22:00:06 +02:00
|
|
|
|
|
|
|
|
[Action]
|
|
|
|
|
Description = Update Gnome Terminal desktop entry on package upgrade
|
|
|
|
|
When = PostTransaction
|
2024-05-20 22:17:17 +02:00
|
|
|
Exec = /bin/sh -c 'sudo sed -i "s/Name\[fr\]=Terminal/Name\[fr\]=Gnome Terminal/g" /usr/share/applications/org.gnome.Terminal.desktop'
|
