N
Size: a a a
2021 June 01
АЗ
Подскажите, куда правильно деплоить бекенд и при этом не мучаться с правами? Обычно вижу /var/www, но там нет прав на запись изначально, бывали случаи после перезапуска права слетали и тогда все становилось криво, через судо деплоить тоже не вариант, потому что тогда некоторые вещи становятся криво(виртуальное окружение на питоне, например, через судо ставится не в папку а глобально в систему)
N
Require Import QArith.
Lemma zero_div_zero_is_zero: 0/0 == 0.
Proof. reflexivity. Qed.
Я у мамы математикъ.
MV
это школоте так говорят
MV
ну и тем кто матешу не учит в универе
N
Всё верно говорит
Т
а надо было брать коричневый учебник Угреновича
Й
Joel Miller, ты ответил верно. Умничка!.
Е
Ребят, в чем разница между приложениями Software и Ubuntu software?
Т
Слово убунту вначале
Е
Зачем в Ubuntu придумали ctrl+Q (закрыть окно), если работает виндовское alt+F4?
I
Потому что могут
tf
Потому что это не хоткей оконного менеджера, и каждая программа придумывает себе этот хоткей сама
Разве нет?
Разве нет?
tf
К тому же вы не видите разницы между "закрыть окно" и "завершить приложение", а это разные действия - у приложения может быть несколько окон
tf
Пользуясь случаем хочу отметить что alt-f4 это отвратительная комбинация, потому что надо делать какое-то сальто
к
+
перебиндил себе на mod+shift+z
перебиндил себе на mod+shift+z