Você pode editar /etc/apt/sources.list
. Aqui é um guia completo sobre isso.
Isso funcionaria se eu tivesse acesso direto ao servidor: Existe uma ferramenta para atualizar my PPA sources.list entradas após a atualização?
Mas quais são os comandos subjacentes que essa ferramenta usa?
Você pode editar /etc/apt/sources.list
. Aqui é um guia completo sobre isso.