REGFILETYPE(1)

πŸ“¦
version 7.4.1 Β· 4 versions
, in arch rolling, ubuntu resolute, ubuntu stonking

✨ REGFILETYPE ✨

okay bestie, welcome to regfiletype from The Regina Handbook β€” this is the lil' detective that sniffs out what format your Regina data files are in πŸ’…


🌸 NAME 🌸

regfiletype β€” figure out the formats of Regina data files, no cap πŸ”


πŸŽ€ SYNOPSIS πŸŽ€

regfiletype file ...

regfiletype { -v, --version | -?, --help }

πŸ¦‹ DESCRIPTION πŸ¦‹

so basically this utility tells you which file format a given Regina data file is in. you can hand it a whole lil' lineup of files on the command line β€” pass as many as you want β€” and the format of each one gets written out to standard output. one by one, slay ✨

important vibe check though: only Regina's modern XML-based file formats get recognised β€” and yes, that includes both the compressed ones and the uncompressed ones, we love range 🫢

now for the lore 😭 back in its very early years, Regina used an impenetrable and undocumented binary format. like, genuinely unreadable. that whole thing got replaced with XML in 2002 (that's Regina 3.0), and support for the old binary format was removed completely in 2013 (that's Regina 4.94).

so if you still need to recognise and/or read files in this ancient binary format?? you're gonna have to download Regina 4.93. that's the only way, fr fr πŸ’€

πŸ’– OPTIONS πŸ’–

  • -v, --version β€” shows you which version of Regina is being used, then exits immediately. like, no further questions, it's outtie ✌️
  • -?, --help β€” displays brief usage information, then exits immediately. the quick lil' cheat sheet πŸŽ€

πŸ“ MACOS USERS πŸ“

if you downloaded a drag-and-drop app bundle, this utility is shipped inside it β€” it's living in there, nestled up πŸ₯Ί

if you dragged Regina to the main Applications folder, you can run it like this:

/Applications/Regina.app/Contents/MacOS/regfiletype

🌈 WINDOWS USERS 🌈

the command-line utilities are installed beneath the Program Files directory β€” and on some machines this directory is called Program Files (x86), just so you know πŸ‘‘

you can start this utility by running:

c:\Program Files\Regina\Regina 7.4.1\bin\regfiletype.exe

πŸ‘‘ SEE ALSO πŸ‘‘

regconvert, regina-gui β€” go give them a lil' visit too, iykyk πŸ’œ


πŸ’œ AUTHOR πŸ’œ

this utility was written by Benjamin Burton <bab@maths.uq.edu.au> ✨ and honestly? many people have been involved in the development of Regina β€” see the users' handbook for the full list of credits, they all ate 🌟


and that's the whole page bestie 🫢 this was the REGFILETYPE(1) page from The Regina Handbook, dated 25 August 2025 β€” iconic, no notes πŸ’…πŸŒΈ

πŸ“¦ where this page comes from