forked from qt-creator/qt-creator
817f81cbfd
The whole logic (setting up environment, run interactive or non-interactive shell) is specific to the shell. So force Terminal to use one of the supported ones. Currently that is zsh and bash. Fixes: QTCREATORBUG-21712 Change-Id: I83057dd92c5c976f9f5d6f4faf0f596a75d58293 Reviewed-by: Christian Kandeler <christian.kandeler@qt.io>
129 lines
4.5 KiB
Python
Executable File
129 lines
4.5 KiB
Python
Executable File
#!/usr/bin/env python
|
|
|
|
############################################################################
|
|
#
|
|
# Copyright (C) 2018 The Qt Company Ltd.
|
|
# Contact: https://www.qt.io/licensing/
|
|
#
|
|
# This file is part of Qt Creator.
|
|
#
|
|
# Commercial License Usage
|
|
# Licensees holding valid commercial Qt licenses may use this file in
|
|
# accordance with the commercial license agreement provided with the
|
|
# Software or, alternatively, in accordance with the terms contained in
|
|
# a written agreement between you and The Qt Company. For licensing terms
|
|
# and conditions see https://www.qt.io/terms-conditions. For further
|
|
# information use the contact form at https://www.qt.io/contact-us.
|
|
#
|
|
# GNU General Public License Usage
|
|
# Alternatively, this file may be used under the terms of the GNU
|
|
# General Public License version 3 as published by the Free Software
|
|
# Foundation with exceptions as appearing in the file LICENSE.GPL3-EXCEPT
|
|
# included in the packaging of this file. Please review the following
|
|
# information to ensure the GNU General Public License requirements will
|
|
# be met: https://www.gnu.org/licenses/gpl-3.0.html.
|
|
#
|
|
############################################################################
|
|
|
|
import os
|
|
import pipes
|
|
import stat
|
|
import subprocess
|
|
import sys
|
|
from tempfile import NamedTemporaryFile
|
|
|
|
def quote_shell(arg):
|
|
return pipes.quote(arg)
|
|
|
|
def clean_environment_script():
|
|
# keep some basic environment settings to ensure functioning terminal and config files
|
|
env_to_keep = ' '.join(['_', 'HOME', 'LOGNAME', 'PWD', 'SHELL', 'TMPDIR', 'USER', 'TERM',
|
|
'TERM_PROGRAM', 'TERM_PROGRAM_VERSION', 'TERM_SESSION_CLASS_ID',
|
|
'TERM_SESSION_ID'])
|
|
return r'''
|
|
function ignore() {
|
|
local keys="''' + env_to_keep + '''"
|
|
local v=$1
|
|
for e in $keys; do [[ "$e" == "$v" ]] && return 0; done
|
|
}
|
|
while read -r line; do
|
|
key=$(echo $line | /usr/bin/cut -d '=' -f 1)
|
|
ignore $key || unset $key
|
|
done < <(env)
|
|
'''
|
|
|
|
def system_login_script_bash():
|
|
return r'''
|
|
[ -r /etc/profile ] && source /etc/profile
|
|
# fake behavior of /etc/profile as if BASH was set. It isn't for non-interactive shell
|
|
export PS1='\h:\W \u\$ '
|
|
[ -r /etc/bashrc ] && source /etc/bashrc
|
|
'''
|
|
|
|
def login_script_bash():
|
|
return r'''
|
|
if [ -f $HOME/.bash_profile ]; then
|
|
source $HOME/.bash_profile
|
|
elif [ -f $HOME/.bash_login ]; then
|
|
source $HOME/.bash_login ]
|
|
elif [ -f $HOME/.profile ]; then
|
|
source $HOME/.profile
|
|
fi
|
|
'''
|
|
|
|
def system_login_script_zsh():
|
|
return '[ -r /etc/profile ] && source /etc/profile\n'
|
|
|
|
def login_script_zsh():
|
|
return r'''
|
|
[ -r $HOME/.zprofile ] && source $HOME/.zprofile
|
|
[ -r $HOME/.zshrc ] && source $HOME/.zshrc
|
|
[ -r $HOME/.zlogin ] && source $HOME/.zlogin
|
|
'''
|
|
|
|
def environment_script():
|
|
return ''.join(['export ' + quote_shell(key + '=' + os.environ[key]) + '\n'
|
|
for key in os.environ])
|
|
|
|
def zsh_setup(shell):
|
|
return (shell,
|
|
system_login_script_zsh,
|
|
login_script_zsh,
|
|
shell + ' -c',
|
|
shell + ' -d -f')
|
|
|
|
def bash_setup(shell):
|
|
bash = shell if shell is not None and shell.endswith('/bash') else '/bin/bash'
|
|
return (bash,
|
|
system_login_script_bash,
|
|
login_script_bash,
|
|
bash + ' -c',
|
|
bash + ' --noprofile -l')
|
|
|
|
def main():
|
|
# create temporary file to be sourced into bash that deletes itself
|
|
with NamedTemporaryFile(delete=False) as shell_script:
|
|
shell = os.environ.get('SHELL')
|
|
shell, system_login_script, login_script, non_interactive_shell, interactive_shell = (
|
|
zsh_setup(shell) if shell is not None and shell.endswith('/zsh')
|
|
else bash_setup(shell))
|
|
|
|
commands = ('#!' + shell + '\n' +
|
|
'rm ' + quote_shell(shell_script.name) + '\n' +
|
|
clean_environment_script() +
|
|
system_login_script() + # /etc/(z)profile by default resets the path, so do first
|
|
environment_script() +
|
|
login_script() +
|
|
'cd ' + quote_shell(os.getcwd()) + '\n' +
|
|
('exec ' + non_interactive_shell + ' ' +
|
|
quote_shell(' '.join([quote_shell(arg) for arg in sys.argv[1:]])) + '\n'
|
|
if len(sys.argv) > 1 else 'exec ' + interactive_shell + '\n')
|
|
)
|
|
shell_script.write(commands)
|
|
shell_script.flush()
|
|
os.chmod(shell_script.name, stat.S_IXUSR | stat.S_IRUSR | stat.S_IWUSR)
|
|
subprocess.call(['/usr/bin/open', '-a', 'Terminal', shell_script.name])
|
|
|
|
if __name__ == "__main__":
|
|
main()
|