Я написал этот крошечный скрипт, чтобы поменять цвета в теме Numix для Ubuntu Gnome:
<?php
$oldColor = $argv[1];
$newColor = $argv[2];
// defaults
// $oldColor = 'd64937';
// $newColor = 'f66153';
$path = '/usr/share/themes/Numix/gtk-3.0/gtk-dark.css';
$fileRead = fopen($path, 'r');
$contents = fread($fileRead, filesize($path));
$newContents = str_replace($oldColor, $newColor, $contents);
$fileWrite = fopen($path, 'w');
fwrite($fileWrite, $newContents);
fclose($fileWrite);
?>
Сценарий работает так, как задумано, пока я передаю два аргумента.
<?php
// How do I set defaults for the arguments?
$oldColor = !empty($argv[1]) ? $argv[1] : 'd64937';
$newColor = !empty($argv[2]) ? $argv[2] : 'f66153';
$file = '/usr/share/themes/Numix/gtk-3.0/gtk-dark.css';
// Your choice whether its cleaner, I think so.
file_put_contents(
$file,
str_replace(
$oldColor,
$newColor,
file_get_contents($file)
)
);
?>
Я собираюсь изучить ответ Лоз Чероне, который немного продвинут для меня (это мой первый сценарий), но я придумал что-то лучшее:
<?php
if (empty($argv[1])) {
$oldColor = 'd64937';
$newColor = 'f66153';
} elseif (empty($argv[2])) {
echo "Please supply new color";
return false;
} else {
$oldColor = $argv[1];
$newColor = $argv[2];
}
$path = '/usr/share/themes/Numix/gtk-3.0/gtk-dark.css';
$oldContents = file_get_contents($path);
$newContents = str_replace($oldColor, $newColor, $oldContents);
file_put_contents($path, $newContents);
?>
Представляется справедливым поделиться конечным продуктом для всех, кто работает над темой Numix в Ubuntu. Просто скопируйте скрипт в файл .php и запустите как sudo. Сначала сделайте резервную копию двух файлов.
<?php
if (!empty($argv[1]) && empty($argv[2])) {
echo "Please supply two colors for your very own custom color swap or zero colors for a slight improvement";
return false;
}
$oldColor = !empty($argv[1]) ? $argv[1] : 'd64937';
$newColor = !empty($argv[2]) ? $argv[2] : 'f66153';
$file_1 = '/usr/share/themes/Numix/gtk-3.0/gtk-dark.css';
$file_2 = '/usr/share/themes/Numix/gtk-2.0/gtkrc';
file_put_contents(
$file_1,
str_replace(
$oldColor,
$newColor,
file_get_contents($file_1)
)
);
file_put_contents(
$file_2,
str_replace(
$oldColor,
$newColor,
file_get_contents($file_2)
)
);
?>