Re: git push hook to check for outdated timestamps
| От | Alvaro Herrera |
|---|---|
| Тема | Re: git push hook to check for outdated timestamps |
| Дата | |
| Msg-id | [email protected] обсуждение исходный текст |
| Ответ на | Re: git push hook to check for outdated timestamps (Peter Eisentraut <[email protected]>) |
| Список | pgsql-hackers |
Peter Eisentraut wrote: > On 7/14/15 3:44 AM, Alvaro Herrera wrote: > > I have been using a slightly tweaked version of this and I have found > > that the %w(80,4,4)%B thingy results in mangled formatting; > > I have since refined this to > > ... %n%n%w(0,4,4)%s%n%+b > > You might find that that works better. Ah, yes it does, thanks. > One of the curiosities is that the built-in log formats don't appear to > be defined or easily definable in terms of the formatting language. TBH I'm not surprised. Normally the built-in formats for things grow organically in ad-hoc ways and the mini-languages for the generic mechanisms don't support all the same features. -- Álvaro Herrera http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services
В списке pgsql-hackers по дате отправления: