From 6c8f13ea5ef934e55fca4037eb430554bd0f326c Mon Sep 17 00:00:00 2001
From: Vitaly Lipatov <lav@etersoft.ru>
Date: Wed, 7 Aug 2024 14:42:45 +0300
Subject: [PATCH] epm-epm_install: install epm-play if needed
---
bin/epm-epm_install | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/bin/epm-epm_install b/bin/epm-epm_install
index 66d9d92c..5563fbcf 100644
--- a/bin/epm-epm_install
+++ b/bin/epm-epm_install
@@ -94,8 +94,10 @@ __epm_korinf_install_eepm()
fi
pkg_list="eepm"
- # don't lose eepm-repack if installed
- is_installed eepm-repack && pkg_list="$pkg_list eepm-repack"
+ # don't lose eepm-* if installed
+ for i in repack play ; do
+ is_installed eepm-$i && pkg_list="$pkg_list eepm-$i"
+ done
# enable scripts to resolve dependencies with apt
scripts='--scripts' __epm_korinf_install $pkg_list
--
2.24.1