From 0e68dd2e43cc2278dd66e51f3b9ba03b173f15db Mon Sep 17 00:00:00 2001 From: Andrew Hamilton Date: Sun, 23 Jul 2017 19:20:40 +0100 Subject: [PATCH] appimage: Pinned the version of appimagetool. --- make-appimage.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make-appimage.py b/make-appimage.py index e282ca5..ebbef41 100755 --- a/make-appimage.py +++ b/make-appimage.py @@ -81,7 +81,7 @@ def make_app_dir(app_dir, new_paths): def make_appimage(app_dir): cmd("wget --continue https://github.com/AppImage/AppImageKit/releases/" - "download/continuous/appimagetool-x86_64.AppImage") + "download/9/appimagetool-x86_64.AppImage") cmd("chmod +x appimagetool-x86_64.AppImage") cmd("./appimagetool-x86_64.AppImage " + app_dir)