Начало / Половинка / Разни картинки / Разни връзки / За мен / About me / RSS емисия
 

 

Записки Разни

 

/17.7.2017, 16:24/ 

Как трябва да изглежда пешеходната пътека в града?

Защитена от автомобилите, разбира се.

източник

орг източник

 
/14.7.2017, 16:06/ 

Албърт и Бърнард се запознали с Черил и поискали да узнаят рождения ѝ ден. Черил им дала 10 възможни дати. Те са:

15 май, 16 май, 19 май
17 юни, 18 юни
14 юли, 16 юли
14 август, 15 август и 17 август

Черил казала съответно на Албърт месеца, а на Бърнард деня от месеца на рождения си ден.
След това Албърт обявил:
- Не знам кога е рожденият ден на Черил, но знам, че и Бърнард не го знае.
Тогава Бърнард отвърнал:
- В началото не знаех, но сега вече знам кога е рожденият ден на Черил!
- В такъв случай, знам го и аз, добавил Албърт.
И така, кога е рожденият ден на Черил?

 
Автоматично ъпдейтване на remote working tree 

Aко имам working tree към отдалечено хранилище при git push то не се ъпдейтва.

Kолкото и пъти да направя git push сорсът си стои дърт и замръзнал в миналото.

За целта му се прави hard reset към последния HEAD и по този начин working tree се осъвременява. (Командата е: git reset --hard HEAD)

Тази работа на ръка не си е работа. Затова, за да се ъпдейтва автоматично remote working tree след git push ползваме hooks. Това са шел скриптове, които се изпълняват при определени събития.

Правим файл .git/hooks/post-update със следното съдържание:

!/bin/sh
echo 'post-update executed' >> hooks.log
git --git-dir=. --work-tree=$PWD/.. reset --hard >> hooks.log

Готово. След push сорсът в отдалеченото хранилище също е ъпдейтнат.

 
/10.7.2017, 17:45/ 

отрязано дърво. дали ще посадят ново? отсреща е ул Освободител.

 
/10.7.2017, 17:33/ 

русенски тротоар от време оно.

улица Плиска.

асфалт, недъгаво разкопан и недъгаво закопан.