команда

Команда перезапуска службы имеет вид вроде:

sudo service php7.3-fpm restart

где:

• php7.3-fpm -- имя вашей службы и зависит от версии интерпретатора php (т.е. у вас это имя может быть другим)
• также вы можете узнать имена установленных служб (в списке будут и php fpm)

Обычно используют псевдоним cept -- как синоним относительного пути к исполняемому файлу кодэсепшена от корневой папки проекта.

Чтобы создать такой псевдоним в линукс выполните команду:

alias cept="./vendor/bin/codecept"

(или сразу в файл, чтобы работала после перезагрузки)

В терминале (не подключаясь к самой СУБД) выполните команду:

psql --version

или после подключения к СУБД в терминале:

select version();

Для вывода симпола прямой суммы используйте команду \oplus
например:

A \oplus B

даст нам:
$\Large A \oplus B$