mirror of
https://github.com/ghostty-org/ghostty.git
synced 2025-08-02 14:57:31 +03:00
rename file to match package
This commit is contained in:
@ -576,7 +576,7 @@ pub fn build(b: *std.Build) !void {
|
|||||||
// Right click menu action in case of Plasma desktop
|
// Right click menu action in case of Plasma desktop
|
||||||
if (env.get("DESKTOP_SESSION")) |desktop| {
|
if (env.get("DESKTOP_SESSION")) |desktop| {
|
||||||
if (std.mem.eql(u8, desktop, "plasma")) {
|
if (std.mem.eql(u8, desktop, "plasma")) {
|
||||||
b.installFile("dist/linux/ghostty_dolphin.desktop", "share/kio/servicemenus/ghostty_dolphin.desktop");
|
b.installFile("dist/linux/ghostty_dolphin.desktop", "share/kio/servicemenus/com.mitchellh.ghostty.desktop");
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user