увеличить значение из файла

Итак, я понял, что ошибка исходила из строки exec / bin / bash --login . Когда я удалил его, компьютер работал нормально, и я был в bash; однако он не запускал мой файл запуска bash, в котором было несколько необходимых мне библиотек. До сих пор не знаю, как их загрузить (без ручного запуска exec bin / bash ) на исходном компьютере, но на самом деле я работаю на университетском сервере, поэтому я отредактировал .cshrc на следующее:

echo "I exist in .chshrc"

setenv SHELL /bin/bash
if ($HOSTNAME = *server name*) then
    exec /bin/bash
end if

Кажется, это решило мои конкретные проблемы с этим, хотя я сомневаюсь, что это общее решение для тех, у кого есть эта проблема.

1
09.07.2015, 02:01
1 ответ
echo $( (( $(cat inc_counter.txt) + 1 )) ) > inc_counter.txt
1
05.03.2020, 16:58

Теги

Похожие вопросы