Wrong Debian Repository for Physical Iso?

I just noticed and wanted to bring a potential discrepancy to light:

In Whonix 9 Binary Images I find this configuration:

  • Filename:
/etc/apt/sources.list.d/debian.list
  • Repository:
deb http://ftp.us.debian.org/debian wheezy main contrib non-free

In the Physical Isolation build instructions it still says:

https://www.whonix.org/wiki/Dev/Build_Documentation/Physical_Isolation/9#Logon_and_upgrade_Debian

## (host) login with "root"
root

## Add a new repository source.
echo "deb http://ftp.us.debian.org/debian stable main" >> /etc/apt/sources.list

## Refresh package lists and upgrade
apt-get update && apt-get dist-upgrade -y
  • Filename:
/etc/apt/sources.list
  • Repository:
deb http://ftp.us.debian.org/debian stable main

Should these source filenames and/or repositories match between the binary images and physical isolation instructions?

They do match, because at the moment stable = wheezy. And after running the build script using --install-to-root switch, the GitHub - Kicksecure/anon-apt-sources-list: /etc/apt/sources.list.d/debian.list for Security-Focused Linux Distributions package gets installed, which sets /etc/apt/sources.list.d/debian.list to wheezy.

[For the latter, there are reasons: Whonix Forum]

What however could be useful would be using “> /etc/apt/sources.list.d/debian.list” and deleting /etc/apt/sources.list to avoid conflicts.

Ah yes, my mistake. I got disoriented with confusing pre and post build states.