Рассмотрим параметры vm.vfs_cache_pressure — он указывает размер используемого дискового кэша и vm.swappiness — этот параметр определяет при каком % свободной оперативной памяти будет задействован SWAP (виртуальная память).
Параметры vm.vfs_cache_pressure:
0 — не кэшировать ничего.
100 — значение по-умолчанию.
>100 — агрессивно кэшировать дисковые операции.
Рекомендуется устанавливать значение 1000 и больше для…
VirtualBox — бесплатная программа для запуска операционных систем Windows, Linux, MacOS X, DOS и некоторых других из под другой операционной системы. Например, используя VirtualBox, вы можете работать в Ubuntu и запустить Windows XP прямо из Ubuntu.
Рассмотрим установку VirtualBox для Linux
Откройте официальную страницу загрузки программы —https://www.virtualbox.org/wiki/Linux_Downloads
Скачайте пакет deb для своей версии Linux, например…
Linux Deepin — это дистрибутив, основанный на Ubuntu Linux, в котором как стандартная оболочка используется GNOME Shell. Команда Linux Deepin очень хорошо поработала над дизайном дистрибутива, выпустив по умолчанию своё собственное оформление тем и значков.
Темы оформления
Deepin
Deepin Dark
Deepin Fasion
Deepin Grey
Установка тем и значков:
Установка тем Linux Deepin в Ubuntu/Linux MintОткройте терминал (Ctrl+Alt+T),…
Arista Transcoder — бесплатный конвертер видео для *NIX систем, направленный на быстрое и простое решение задач по перекодировке видео для различных устройств, таких как: iPod, iPhone, PSP, Playstation 3, Android, Nokia, DVD и др. Поддерживает форматы MP4, WebM, Matroska, AVI, Ogg, FLV (кодеки — видео: H.264, VP8, MPEG4 / DivX, MPEG2, Theora, Flash Video / аудио: AAC, Vorbis, MP3, FLAC, Speex, WAV).
Программа Arista Transcoder доступна в официальном репозитории Ubuntu, поэтому ее можно установить…
Для изменения регистра всех ключей массива используется функция array_change_key_case(). Числовые ключи останутся нетронутыми.
Дополнительные параметры CASE_UPPER, либо CASE_LOWER (используется по умолчанию).
Пример использования:
Верхний регистр
$a = array("g1"=>"кино", "g2"=>"музыка", "g3"=>"театр", "g4"=>"цирк", "red"=>"школа");
print_r($a);
echo "<br>";
$a = array_change_key_case($a, CASE_UPPER);
print_r($a);
Array ( [g1] => кино [g2] => музыка [g3] => театр [g4] =>…
