op public repos

Commits

Commit:: 07866593d4ed5d1805584387ef305b13cd67733e
From:: Omar Polo <op@omarpolo.com>
Date:: Fri Sep 23 13:18:03 2022 UTC

error if no proxies are defined

diff | patch | tree

Commit:: 979cc5fd460d4c73c66ec6db41cf193047783043
From:: Omar Polo <op@omarpolo.com>
Date:: Fri Sep 23 13:14:33 2022 UTC

error on duplicate proxies

diff | patch | tree

Commit:: 35adaaa9398cb80c6f9d2797b92e2c8460faaacc
From:: Omar Polo <op@omarpolo.com>
Date:: Fri Sep 23 13:06:29 2022 UTC

use %token and not %type for NUMBER and STRING

diff | patch | tree

Commit:: c464d38a34d758a747c19e2da7b4fa72c700928c
From:: Omar Polo <op@omarpolo.com>
Date:: Fri Sep 23 13:05:13 2022 UTC

error if no `source' is defined for a proxy

diff | patch | tree

Commit:: 917cf06301e62f2a9a6144bb27f01e531533c944
From:: Omar Polo <op@omarpolo.com>
Date:: Fri Sep 23 13:02:53 2022 UTC

default `hostname' to the source host

diff | patch | tree

Commit:: 26cd3e9dd3d4042457224b5ecef6de8234d7f950
From:: Omar Polo <op@omarpolo.com>
Date:: Fri Sep 23 13:00:39 2022 UTC

make the port number optional and keep it as string

diff | patch | tree

Commit:: afb86b2c8a6e846c6e088085f3b454f3b4bdd5c8
From:: Omar Polo <op@omarpolo.com>
Date:: Fri Sep 23 12:45:10 2022 UTC

simplify the configuration format don't require the awkward `server' block, just use a `proxy' block: proxy { source address port xyz hostname foo stylesheet "URL" }

diff | patch | tree

Commit:: fc1cb9ea0716bf54463829dfca90b942ad5c8bf9
From:: Omar Polo <op@omarpolo.com>
Date:: Wed Sep 14 09:11:21 2022 UTC

link the specified stylesheet (if any)

diff | patch | tree

Commit:: b0a6bcf7ac45303633103a7a64ed80fc4cf41181
From:: Omar Polo <op@omarpolo.com>
Date:: Tue Sep 13 16:36:38 2022 UTC

initial import

diff | patch | tree