Closed GaetanLepage closed 9 months ago
The current scripts (init_repl.sh and launcher_repl.sh) expect cat to be available in /bin. This is not the case for all systems. This patch switches to \cat which accomplishes the same goal of ignoring user-defined shell aliases of the cat command.
init_repl.sh
launcher_repl.sh
cat
/bin
\cat
The current scripts (
init_repl.sh
andlauncher_repl.sh
) expectcat
to be available in/bin
. This is not the case for all systems. This patch switches to\cat
which accomplishes the same goal of ignoring user-defined shell aliases of thecat
command.