HEX
Server: nginx/1.22.1
System: Linux VM-16-9-centos 3.10.0-1160.99.1.el7.x86_64 #1 SMP Wed Sep 13 14:19:20 UTC 2023 x86_64
User: www (1001)
PHP: 7.3.31
Disabled: passthru,exec,system,putenv,chroot,chgrp,chown,shell_exec,popen,proc_open,pcntl_exec,ini_alter,ini_restore,dl,openlog,syslog,readlink,symlink,popepassthru,pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wifcontinued,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority,imap_open,apache_setenv
$ pwd: /etc/profile.d/
Upload Files
File: //etc/profile.d/mpi-selector.csh
#!/bin/csh
# Copyright (c) 2007 Cisco Systems, Inc.  All rights reserved.
#
# File installed for Bourne-shell startups to select which MPI
# installation to use.  Not using "alternatives" because we want to be
# able to set per-user level defaults, not just system-wide defaults.

set mpi_selector_dir="/var/mpi-selector/data"
set mpi_selector_homefile="$HOME/.mpi-selector"
set mpi_selector_sysfile="/etc/sysconfig/mpi-selector"

set mpi_selection=
if (-f "$mpi_selector_homefile") then
    set mpi_selection=`cat $mpi_selector_homefile`
else if (-f "$mpi_selector_sysfile") then
    set mpi_selection=`cat $mpi_selector_sysfile`
endif

if ("$mpi_selection" != "" && -f "$mpi_selector_dir/$mpi_selection.csh") then
    source "$mpi_selector_dir/$mpi_selection.csh"
endif
@ Telegram