waja/action-debian-package
1
0
Fork 1
Code Issues Pull requests 1 Actions Packages Projects Releases Wiki Activity

Try backports repo for dev packages

Browse source
This commit is contained in:
Mike Roberts 2020-10-28 23:47:00 +00:00
parent 1aa4b1952f
commit 41744da512
No known key found for this signature in database
GPG key ID: B68562622B45F745
1 changed files with 16 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
main.js
View file

@ -136,6 +136,16 @@ async function main() {
//////////////////////////////////////
// Update packages list
//////////////////////////////////////
core.startGroup("Add backports repo to apt sources")
await exec.exec("docker", ["exec", container].concat(
["bash", "-c"].concat(
[
"echo 'deb http://deb.debian.org/debian " + distribution + "-backports main' > /etc/apt/sources.list.d/" + distribution + "-backports.list"
]
)
))
core.endGroup()
core.startGroup("Update packages list")
await exec.exec("docker", ["exec", container].concat(
["apt-get", "update"]
@ -160,10 +170,15 @@ async function main() {
return devPackages.concat(libPythonPackages)
}
core.startGroup("Install development packages")
await exec.exec("docker", ["exec", container].concat(
[
"apt-get", "install", "--no-install-recommends", "-y"
"apt-get",
"install",
"-t", distribution + "-backports",
"--no-install-recommends",
"-y"
].concat(getDevPackages())
))
core.endGroup()