Anonymous | Login | Signup for a new account | 2025-06-15 13:16 UTC | ![]() |
My View | View Issues | Change Log | Roadmap | Site Issue Support Ranking | Rules | My Account |
View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||||||
0003605 | Site | [All Projects] Documentation | public | 2019-02-07 15:08 | 2019-02-11 14:38 | ||||||||
Reporter | WubTheCaptain | ||||||||||||
Assigned To | Blzut3 | ||||||||||||
Priority | normal | Severity | trivial | Reproducibility | have not tried | ||||||||
Status | acknowledged | Resolution | open | ||||||||||
Platform | OS | OS Version | |||||||||||
Summary | 0003605: debian.drdteam.org instructions depend on apt-add-repository, which is not installed in Debian by default | ||||||||||||
Description | Although the instructions at DRD Team Debian Package Repository index page are aimed mainly for Ubuntu (and truthfully, no dists exists in the repository for Debian but Ubuntu's multiverse dist), many of the packages work with Debian too. Unfortunately for Debian users, there's a dependency on apt-add-repository(1) (software-properties-common package) which is not installed in Debian by default. I don't find much reason to prefer the apt-add-repository(1) script over something more trivial, let's say, tee(1) or stdout redirection. Would the DRD Team accommodate Debian users by changing the command a little bit, by removing the dependency on apt-add-repository(1)? That's one thing less to install for Debian users. | ||||||||||||
Steps To Reproduce | Quote from http://debian.drdteam.org/ | ||||||||||||
Additional Information | $ dpkg -S $(which apt-add-repository tee) software-properties-common: /usr/bin/apt-add-repository coreutils: /usr/bin/tee | ||||||||||||
Attached Files | |||||||||||||
![]() |
|
WubTheCaptain (reporter) 2019-02-07 15:09 edited on: 2019-02-07 15:12 |
Alternatives:echo "deb'http://debian.drdteam.org/ [^]' stable multiverse" | sudo tee /etc/apt/sources.list.d/drdteam.list sudo sh -c "echo 'deb'http://debian.drdteam.org/ [^]' stable multiverse' > /etc/apt/sources.list.d/drdteam.list" sudo sh -c "printf 'deb'http://debian.drdteam.org/ [^]' stable multiverse' > /etc/apt/sources.list.d/drdteam.list" |
Blzut3 (administrator) 2019-02-08 02:56 |
The target audience for the instructions are people new to Linux distributions so while I agree that there's not much benefit over one the suggestions, the tool does make the process look a lot simpler. Also as of late apt-add-repository automatically does an apt update for the user. What I will do is make the sentence preceding the instructions a little more clear that adding the line manually is an option over the commands. |
WubTheCaptain (reporter) 2019-02-11 14:38 |
Also'https://zandronum.com/download#instubuntu, [^]' but don't care to make a new issue. |
Only registered users can voice their support. Click here to register, or here to log in. | |
Supporters: | No one explicitly supports this issue yet. |
Opponents: | No one explicitly opposes this issue yet. |
![]() |
|||
Date Modified | Username | Field | Change |
2019-02-07 15:08 | WubTheCaptain | New Issue | |
2019-02-07 15:09 | WubTheCaptain | Note Added: 0020342 | |
2019-02-07 15:11 | WubTheCaptain | Note Edited: 0020342 | View Revisions |
2019-02-07 15:12 | WubTheCaptain | Note Edited: 0020342 | View Revisions |
2019-02-08 02:56 | Blzut3 | Note Added: 0020355 | |
2019-02-08 02:56 | Blzut3 | Assigned To | => Blzut3 |
2019-02-08 02:56 | Blzut3 | Status | new => acknowledged |
2019-02-11 14:38 | WubTheCaptain | Note Added: 0020363 |
Copyright © 2000 - 2025 MantisBT Team |