graphviz file extension

Started by Peter Eisentrautalmost 7 years ago4 messagesdocs
Jump to latest
#1Peter Eisentraut
peter_e@gmx.net

It has come to my attention that the preferred file extension for
graphviz files is .gv rather than the .dot we are using. So I propose
to change that for the one file we have so far (gin.dot) before we add
more files in the future.

--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services

#2Joe Conway
mail@joeconway.com
In reply to: Peter Eisentraut (#1)
Re: graphviz file extension

On 5/24/19 3:08 AM, Peter Eisentraut wrote:

It has come to my attention that the preferred file extension for
graphviz files is .gv rather than the .dot we are using. So I propose
to change that for the one file we have so far (gin.dot) before we add
more files in the future.

Agreed -- better to fix it now.

Joe

--
Crunchy Data - http://crunchydata.com
PostgreSQL Support for Secure Enterprises
Consulting, Training, & Open Source Development

#3Jonathan S. Katz
jkatz@postgresql.org
In reply to: Joe Conway (#2)
Re: graphviz file extension

On 5/24/19 8:28 AM, Joe Conway wrote:

On 5/24/19 3:08 AM, Peter Eisentraut wrote:

It has come to my attention that the preferred file extension for
graphviz files is .gv rather than the .dot we are using. So I propose
to change that for the one file we have so far (gin.dot) before we add
more files in the future.

Agreed -- better to fix it now.

+1

Jonathan

#4Jürgen Purtz
juergen@purtz.de
In reply to: Peter Eisentraut (#1)
Re: graphviz file extension

On 24.05.19 09:08, Peter Eisentraut wrote:

It has come to my attention that the preferred file extension for
graphviz files is .gv rather than the .dot we are using. So I propose
to change that for the one file we have so far (gin.dot) before we add
more files in the future.

+1

J. Purtz