mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

3K
active users

How to REMOVE a package repository from Debian 9? Web searches are failing me miserably.

JordiGH

@ink_slinger Go into /etc/apt/sources.list or /etc/apt/sources.d

Find the file with line with the repo you don't want. Remove that line and/or file (don't remove all of sources.list!) and then run `sudo apt update`.

@JordiGH Thanks. I figured it out on my own just as you were writing this.

@ink_slinger Oh, any time, glad you figured it out either way.