Staunton, Ohio

Staunton is an unincorporated community in Fayette County, in the U.S. state of Ohio.[1]

History

Staunton was platted in 1848.[2] The community was named after Staunton, Virginia, the native home of a share of the first settlers.[3] A post office was established at Staunton in 1844, and remained in operation until 1903.[4]

gollark: `a` is just one value, so the second return is discarded, so it works sensibly.
gollark: `gsub` actually returns multiple values. Because Lua, since it's the last thing passed to that function, `table.insert` is passed the string it returns and a number from it. `table.insert` has an overload where it takes `(table, position, value)` or something instead of `(table, value)`.
gollark: The alternative to having it be a GPS server thing would be per-dimension "dimservers" or something providing the dimension name (and possibly server name and metadata), which could work too I guess.]
gollark: The main problem I envision is that I haven't worked out a standard for dimension naming, so it just uses the one it receives the most fixes containing, which can be basically anything the GPS servers want, and that it won't function reliably without a large amount of dimension-enabled GPS servers.
gollark: I've patched dimension support into the GPS libraries in potatOS and my trilaterating GPS server. Would people be interested in dimension support in GPS and/or should I PR it into CC: Tweaked?

References

  1. U.S. Geological Survey Geographic Names Information System: Staunton, Ohio
  2. Allen, Frank M. (1914). History of Fayette County, Ohio: Her People, Industries and Institutions. B. F. Bowen, Incorporated. p. 303.
  3. Overman, William Daniel (1958). Ohio Town Names. Akron, OH: Atlantic Press. p. 129.
  4. "Fayette County". Jim Forte Postal History. Retrieved 13 December 2015.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.