Использование:
string="/opt/directory/"
if [[ $string != *directory* ]]; then
echo "not found"
else
echo "found"
fi
Вы можете выйти из системы, набрав gnome-session-quit.
Существуют другие варианты, как описано в этой ссылке: как вы можете выйти из терминала.
Вы можете выйти из системы, набрав gnome-session-quit.
Существуют другие варианты, как описано в этой ссылке: как вы можете выйти из терминала.