> On 14 Nov 2024, at 13:11, Ashutosh Bapat wrote:
>>> On Mon, Nov 11, 2024 at 7:50 AM Andres Freund wrote:
If you just want that we could print out a file:// url or even open it?
Rather
than an http server?
+1
> I noticed that the documentation served by the postgresql.org site
On Tue, Nov 12, 2024 at 4:00 PM Ashutosh Bapat
wrote:
>
> On Mon, Nov 11, 2024 at 10:41 PM Jacob Champion
> wrote:
> >
> > On Mon, Nov 11, 2024 at 7:50 AM Andres Freund wrote:
> > > If you just want that we could print out a file:// url or even open it?
> > > Rather
> > > than an http server?
>
On Mon, Nov 11, 2024 at 10:41 PM Jacob Champion
wrote:
>
> On Mon, Nov 11, 2024 at 7:50 AM Andres Freund wrote:
> > If you just want that we could print out a file:// url or even open it?
> > Rather
> > than an http server?
>
> +1. The coverage-html recipe is a nice example of this; just
> contr
On Mon, Nov 11, 2024 at 7:50 AM Andres Freund wrote:
> If you just want that we could print out a file:// url or even open it? Rather
> than an http server?
+1. The coverage-html recipe is a nice example of this; just
control-click the file: link and away you go.
--Jacob
Hi,
On 2024-11-11 19:28:24 +0530, Ashutosh Bapat wrote:
> On Mon, Nov 11, 2024 at 9:55 AM Michael Paquier wrote:
> >
> > On Sat, Nov 09, 2024 at 09:26:20AM +0100, Peter Eisentraut wrote:
> > > What is the advantage of using an http server over just opening the file
> > > directly in a web browser
On Mon, Nov 11, 2024 at 9:55 AM Michael Paquier wrote:
>
> On Sat, Nov 09, 2024 at 09:26:20AM +0100, Peter Eisentraut wrote:
> > What is the advantage of using an http server over just opening the file
> > directly in a web browser (file:// scheme)?
>
> Not sure to see any on sight. I just use fi
On Sat, Nov 09, 2024 at 09:26:20AM +0100, Peter Eisentraut wrote:
> What is the advantage of using an http server over just opening the file
> directly in a web browser (file:// scheme)?
Not sure to see any on sight. I just use file:// to check the state
of the docs produced by any patch sent to
On 07.11.24 05:37, Tristan Partin wrote:
When working on documentation, I find it useful to spawn an HTTP server
to serve docs for me to consume in a web browser. I went ahead and used
Python's builtin http.server module, but it could also be a run target
which just spawned `xdg-open builddir/d
When working on documentation, I find it useful to spawn an HTTP server
to serve docs for me to consume in a web browser. I went ahead and used
Python's builtin http.server module, but it could also be a run target
which just spawned `xdg-open builddir/doc/src/sgml/html/index.html`,
though I wo
