You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
avoid dpkg diversions by making use of default PATH? If you were to ship /usr/bin/update-grub then that would take preference over /usr/sbin/update-grub so original /usr/sbin/update-grub does not need to be touched?
there is limited ubuntu specificity. Avoid writing ubuntu whenever possible. That would make it easier to merge this into Debian so it can then flow down into any Debian based Linux distribution.
try to merge this upstream?
The text was updated successfully, but these errors were encountered:
to dpkg divert files use https://packages.debian.org/buster/config-package-dev / https://debathena.mit.edu/config-package-dev/ rather than directly using dpkg divert
avoid dpkg diversions by making use of default PATH? If you were to ship /usr/bin/update-grub then that would take preference over /usr/sbin/update-grub so original /usr/sbin/update-grub does not need to be touched?
there is limited ubuntu specificity. Avoid writing
ubuntu
whenever possible. That would make it easier to merge this into Debian so it can then flow down into any Debian based Linux distribution.try to merge this upstream?
The text was updated successfully, but these errors were encountered: