#!/bin/sh GUIX_PROFILE=.guix-extra-profiles/system/system ; . "$GUIX_PROFILE"/etc/profile update-resolv-conf.sh "$@"