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