REGFILEDUMP(1)

💾 REGFILEDUMP(1) — the Regina Handbook, bestie edition 🎀

okay so. hi. you're looking at regfiledump, a manual page from section 1 of The Regina Handbook, and honestly? she's a little icon. let's get into it. 💅

---

✨ NAME ✨

regfiledump — dump the contents of a Regina data file 🫶

---

🌸 SYNOPSIS 🌸

regfiledump [ -f | -l | -n ] [ -c ] file [ packet-label ... ]

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

like. that's the whole vibe. you give her a file, she tells you what's inside. periodt.

---

🦋 DESCRIPTION 🦋

This utility dumps the contents of the given Regina data file to standard output in a human-readable format. no cap, it's genuinely that simple and it's genuinely that useful. 💖

And here's the cute part: if you hand her a list of packet labels on the command-line, only those packets get output. otherwise? she's showing you every single packet in the given file. main character energy, no filter. 👑

---

🌈 OPTIONS 🌈

• -f — (this is the default, bestie) output full packet details. the output for each packet will cover several lines, starting with the basic details — like the packet label and type — and then following up with the packet's long description. it's giving "tell me everything." 📖
• -l — output a list of packet labels and types only, one packet per line. quick lil vibe check, no essays. ✨
• -n — don't output any packets at all. literally none. this option forces a packet count (see option -c). it's giving "I don't want the tea, I just want the number." 🔢
• -c — finish the output with a total count of all packets in the file. the receipts, at the very end. 🧾
• -v, --version — show which version of Regina is being used, and exit immediately. yes, immediately. she does not linger. 💨
• -?, --help — display brief usage information, and exit immediately. your lil cheat sheet, right there. 🎀

---

💜 INTERNATIONALISATION 💜

so if any packets contain international characters, Regina will attempt to convert these to your local character encoding as it writes them to the output. she's trying her best and honestly she usually nails it. 🌍

you can tell Regina what character encoding to use by setting standard locale-related environment variables, such as LANG, LC_CTYPE or LC_ALL.

for example — and this is the part that makes it click, fr fr:

• if LANG is set to en_AU then output will be written in the Western European character set ISO-8859-1
• if LANG is set to en_AU.UTF-8 then output will be written in the universal character set UTF-8

typically these environment variables will already be set for you when you install your GNU/Linux system, and Regina will just use the right character set out of the box. obsessed. 🫶 see your GNU/Linux system reference for further information on supporting different locales.

---

🍓 MACOS USERS 🍓

if you downloaded a drag-and-drop app bundle, this utility is shipped inside it. sneaky but slay. if you dragged Regina to the main Applications folder, you can run it as:

/Applications/Regina.app/Contents/MacOS/regfiledump

that's the whole path. copy it, paste it, go off. 💅

---

🧚 WINDOWS USERS 🧚

the command-line utilities are installed beneath the Program Files directory; on some machines this directory is called Program Files (x86). you can start this utility by running:

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

yes, the whole path, yes it's long, no you don't have to type it from memory, you're doing great. 🙈

---

🔥 SEE ALSO 🔥

• regina-gui. that's your other girl. go say hi. 👑

---

⭐ AUTHOR ⭐

this utility was written by Benjamin Burton <bab@maths.uq.edu.au>. many people have been involved in the development of Regina; see the users' handbook for a full list of credits. 💖

---

okay that's the whole page, bestie. go dump some files. you got this. 🦋✨

signing off from 25 August 2025, straight out of The Regina Handbook — REGFILEDUMP(1), section 1, no notes. 💜