commit 07feac5430e14d27a0018014f73b1b0a3c041b11
parent d1671e0edd1228f842fb6ce0bc41559f948964c8
Author: Jan Pobrislo <ccx@webprojekty.cz>
Date: Tue, 15 Dec 2020 02:37:40 +0100
Use /command/exec instead of /bin/exec for now
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sbin/user-term.py b/sbin/user-term.py
@@ -42,7 +42,7 @@ def exec_terminal(uid, gid, home, terminal, term_env, slave_exe):
os.execve(terminal[0], terminal, env)
else:
# TODO: proper search path
- os.execve('/bin/exec', ['exec'] + terminal, env)
+ os.execve('/command/exec', ['exec'] + terminal, env)
else:
# child
os.close(master)
@@ -54,7 +54,7 @@ def exec_terminal(uid, gid, home, terminal, term_env, slave_exe):
env = dict(os.environ)
env['TERM'] = term_env
env.pop('LOGNAME', None)
- os.execve('/bin/exec', ['exec'] + slave_exe, env)
+ os.execve('/command/exec', ['exec'] + slave_exe, env)
def main():