diff options
author | Mattias Andrée <maandree@kth.se> | 2023-11-18 23:23:40 +0100 |
---|---|---|
committer | Mattias Andrée <maandree@kth.se> | 2023-11-18 23:23:40 +0100 |
commit | 0f1df0db903ba576fd17b08197d3066af7a61e5f (patch) | |
tree | a59c04307b1382257afa3c3512ec3abadf7e0e47 /meld | |
parent | Use losetup -d instead of --detach and add clean up (diff) | |
download | dotfiles-0f1df0db903ba576fd17b08197d3066af7a61e5f.tar.gz dotfiles-0f1df0db903ba576fd17b08197d3066af7a61e5f.tar.bz2 dotfiles-0f1df0db903ba576fd17b08197d3066af7a61e5f.tar.xz |
A lot of changes
Signed-off-by: Mattias Andrée <maandree@kth.se>
Diffstat (limited to '')
l--------- | meld-gtk2 | 1 | ||||
-rw-r--r-- | meld/Makefile | 5 |
2 files changed, 3 insertions, 3 deletions
diff --git a/meld-gtk2 b/meld-gtk2 new file mode 120000 index 0000000..fed87f8 --- /dev/null +++ b/meld-gtk2 @@ -0,0 +1 @@ +meld
\ No newline at end of file diff --git a/meld/Makefile b/meld/Makefile index de0373a..1e12515 100644 --- a/meld/Makefile +++ b/meld/Makefile @@ -1,5 +1,4 @@ .POSIX: -include ../common.mk # Unfortunely meldrc.ini contains both (for us unless) state and settings, # therefore we are making a copy instead of a link. Otherwise running meld @@ -10,7 +9,7 @@ install: cp -- meldrc.ini ~/.config/meld/ uninstall: + +! ../check-installed meld + +! ../check-installed meld-gtk2 -unlink -- ~/.config/meld/meldrc.ini -rm -rf -- ~/.config/meld - -.PHONY: install uninstall |