diff options
author | Yigit Sever | 2023-06-22 16:21:31 +0300 |
---|---|---|
committer | Yigit Sever | 2023-06-22 16:21:31 +0300 |
commit | 972a5f43efec8469c5958b1d1ad243e045b8207d (patch) | |
tree | d780c0815a7d2072c8b4161cc83f63db3c60d050 /anki-official-binary-bundle/install_sh.patch | |
parent | 0e211b1fd4030cb7cf8563daa9f447b081fbd458 (diff) | |
parent | 856cf628225ecfbdb0ceb5dd0e8ce741d43799db (diff) | |
download | packages-972a5f43efec8469c5958b1d1ad243e045b8207d.tar.gz packages-972a5f43efec8469c5958b1d1ad243e045b8207d.tar.bz2 packages-972a5f43efec8469c5958b1d1ad243e045b8207d.zip |
Add 'anki-official-binary-bundle/' from commit '856cf628225ecfbdb0ceb5dd0e8ce741d43799db'
git-subtree-dir: anki-official-binary-bundle
git-subtree-mainline: 0e211b1fd4030cb7cf8563daa9f447b081fbd458
git-subtree-split: 856cf628225ecfbdb0ceb5dd0e8ce741d43799db
Diffstat (limited to 'anki-official-binary-bundle/install_sh.patch')
-rw-r--r-- | anki-official-binary-bundle/install_sh.patch | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/anki-official-binary-bundle/install_sh.patch b/anki-official-binary-bundle/install_sh.patch new file mode 100644 index 0000000..e76e1af --- /dev/null +++ b/anki-official-binary-bundle/install_sh.patch | |||
@@ -0,0 +1,27 @@ | |||
1 | --- install.sh.orig 2022-06-06 18:29:11.117752422 -0500 | ||
2 | +++ install.sh 2022-06-06 18:40:38.153466913 -0500 | ||
3 | @@ -13,9 +13,10 @@ | ||
4 | |||
5 | rm -rf "$PREFIX"/share/anki "$PREFIX"/bin/anki | ||
6 | mkdir -p "$PREFIX"/share/anki | ||
7 | -cp -av --no-preserve=owner,context * "$PREFIX"/share/anki/ | ||
8 | +shopt -s extglob | ||
9 | +cp -av --no-preserve=owner,context !(*install.sh) "$PREFIX"/share/anki/ | ||
10 | mkdir -p "$PREFIX"/bin | ||
11 | -ln -sf "$PREFIX"/share/anki/anki "$PREFIX"/bin/anki | ||
12 | +ln -sf ../share/anki/anki "$PREFIX"/bin/anki | ||
13 | # fix a previous packaging issue where we created this as a file | ||
14 | (test -f "$PREFIX"/share/applications && rm "$PREFIX"/share/applications)||true | ||
15 | mkdir -p "$PREFIX"/share/pixmaps | ||
16 | @@ -26,11 +26,4 @@ | ||
17 | mv -Z anki.desktop "$PREFIX"/share/applications/;\ | ||
18 | mv -Z anki.1 "$PREFIX"/share/man/man1/) | ||
19 | |||
20 | -xdg-mime install anki.xml --novendor | ||
21 | -xdg-mime default anki.desktop application/x-colpkg | ||
22 | -xdg-mime default anki.desktop application/x-apkg | ||
23 | -xdg-mime default anki.desktop application/x-ankiaddon | ||
24 | - | ||
25 | -rm install.sh | ||
26 | - | ||
27 | echo "Install complete. Type 'anki' to run." | ||