Skip to content

Add Serial Number to Avahi Service for Board Deduplication #48

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 6 commits into from
Nov 11, 2025
+56 −0
Merged

Add Serial Number to Avahi Service for Board Deduplication #48

Show file tree
Hide file tree
Changes from 5 commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
fdb3736
set serial number for network discovery at post install time
mirkoCrobu Nov 7, 2025
a9ddaa2
adds space in a comment
mirkoCrobu Nov 7, 2025
c52f211
set script running before Avahi service
mirkoCrobu Nov 7, 2025
3076350
code review fix
mirkoCrobu Nov 10, 2025
c1eb54f
code review fix
mirkoCrobu Nov 10, 2025
088a594
code review fix
mirkoCrobu Nov 11, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions debian/arduino-app-cli/DEBIAN/postinst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,3 +4,4 @@ chown -R arduino:arduino /home/arduino/.local/share/arduino-app-cli

systemctl enable arduino-app-cli
systemctl enable arduino-burn-bootloader
systemctl enable arduino-avahi-serial.service
1 change: 1 addition & 0 deletions debian/arduino-app-cli/DEBIAN/prerm
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,3 +2,4 @@

systemctl disable arduino-app-cli
systemctl disable arduino-burn-bootloader
systemctl disable arduino-avahi-serial.service
17 changes: 17 additions & 0 deletions debian/arduino-app-cli/etc/systemd/system/arduino-avahi-serial.service
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
[Unit]
Description=Configure Avahi with board serial number
Before=avahi-daemon.service
ConditionPathExists=!/var/lib/arduino-app-cli/avahi_serial_configured.flag

[Service]
Type=oneshot
RemainAfterExit=true
ExecStart=/usr/local/bin/arduino-avahi-serial.sh
ExecStartPost=/bin/mkdir -p /var/lib/arduino-app-cli
ExecStartPost=/bin/touch /var/lib/arduino-app-cli/avahi_serial_configured.flag

StandardOutput=journal
StandardError=journal

[Install]
WantedBy=multi-user.target
38 changes: 38 additions & 0 deletions debian/arduino-app-cli/usr/local/bin/arduino-avahi-serial.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,38 @@
#!/bin/sh
# Configure Avahi with the serial number.


TARGET_FILE="/etc/avahi/services/arduino.service"
MARKER_LINE="</service>"
SERIAL_NUMBER_PATH="/sys/devices/soc0/serial_number"

echo "Configuring Avahi with serial number for network discovery..."

if [ ! -f "$SERIAL_NUMBER_PATH" ]; then
echo "Error: Serial number path not found at $SERIAL_NUMBER_PATH." >&2
exit 1
fi


if [ ! -w "$TARGET_FILE" ]; then
echo "Error: Target file $TARGET_FILE not found or not writable." >&2
exit 1
fi

SERIAL_NUMBER=$(cat "$SERIAL_NUMBER_PATH")

if [ -z "$SERIAL_NUMBER" ]; then
echo "Error: Serial number file is empty." >&2
exit 1
fi

if grep -q "serial_number=" "$TARGET_FILE"; then
echo "Serial number ($SERIAL_NUMBER) already configured. Skipping."
exit 0
fi

echo "Adding serial number to $TARGET_FILE..."
sed -i "/<\/service>/i <txt-record>serial_number=${SERIAL_NUMBER}<\/txt-record>" "$TARGET_FILE"

echo "Avahi configuration attempt finished."
exit 0