Другое решение awk
:
$ awk '$0=="P1" {f=1} $0=="P2" {f=0}f' file | paste - - | \
awk -F"\t" '$2~/[0-9]/ {split ($2,a,"/"); \
print "Value"NR":"a[2]} $2!~/[0-9]/ {print "Value"NR":NULL"}'
Value1:123456
Value2:98765
Value3:NULL
Ваш вопрос не совсем понятен, но я думаю, вы имеете в виду, что если rapsberry pi A собирается с distcc, вы хотите, чтобы distcc кэшировал это на вашем сервере, чтобы raspberry pi B не перекомпилировал это?
Это можно сделать теперь, когда ccache имеет поддержку memcached, так что вы можете добавить memcached для кэширования результатов (проверьте dev/memcached
ветку ccache). Вам также не обязательно хранить его на том же сервере, что и distcc. Вы можете хранить его на AWS, и ваши raspberry pi будут отправлять на distcc только пропуски кэша, что, по сути, то, что вы хотите
Установите memcache:
sudo apt-get install memcached
export MEMCACHED_SERVERS=localhost
sudo service memcached restart
И для ccache (После обновления до ветки, на которую я дал ссылку)
sudo apt-get install libmemcached-dev
. /configure --enable-memcached
make -j4 && sudo make install
Затем вы можете указать ccache местоположение вашего сервера через:
export CCACHE_MEMCACHED_CONF="--SERVER=localhost"
Смотрите более подробную информацию: https://gist.github.com/itensionanders/2bd0056027f8308d4cd8