json_encode($result) и записывайте. Потом обратно декодируйте и получите то же самое значение.
array_key_exists('value', $result)
> ping -?
...
-S <адрес_источника> Задает адрес источника.
Мне лично нравится Mint с Mate в качестве десктопа.