Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rename debians to debs everywhere. #4669

Merged
merged 1 commit into from
Aug 22, 2024

Conversation

clalancette
Copy link
Contributor

That's because "debians" specifically refers to packages for Debian, while "debs" more generally refers to packages in the .deb format (which describes at least Debian and Ubuntu).

This should fix #4639 .

That's because "debians" specifically refers to packages
for Debian, while "debs" more generally refers to packages
in the .deb format (which describes at least Debian and Ubuntu).

Signed-off-by: Chris Lalancette <clalancette@gmail.com>
Copy link

HTML artifacts: https://github.com/ros2/ros2_documentation/actions/runs/10494804668/artifacts/1838707713.

To view the resulting site:

  1. Click on the above link to download the artifacts archive
  2. Extract it
  3. Open html-artifacts-4669/index.html in your favorite browser

Copy link

@claraberendsen claraberendsen left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@ahcorde ahcorde merged commit 7033cbe into rolling Aug 22, 2024
4 checks passed
@ahcorde ahcorde deleted the clalancette/rename-debians-to-debs branch August 22, 2024 07:20
mergify bot pushed a commit that referenced this pull request Aug 22, 2024
That's because "debians" specifically refers to packages
for Debian, while "debs" more generally refers to packages
in the .deb format (which describes at least Debian and Ubuntu).

Signed-off-by: Chris Lalancette <clalancette@gmail.com>
(cherry picked from commit 7033cbe)

# Conflicts:
#	source/Installation/Ubuntu-Install-Debs.rst
mergify bot pushed a commit that referenced this pull request Aug 22, 2024
That's because "debians" specifically refers to packages
for Debian, while "debs" more generally refers to packages
in the .deb format (which describes at least Debian and Ubuntu).

Signed-off-by: Chris Lalancette <clalancette@gmail.com>
(cherry picked from commit 7033cbe)

# Conflicts:
#	source/Installation/Ubuntu-Install-Debs.rst
#	source/Tutorials/Demos/dummy-robot-demo.rst
mergify bot pushed a commit that referenced this pull request Aug 22, 2024
That's because "debians" specifically refers to packages
for Debian, while "debs" more generally refers to packages
in the .deb format (which describes at least Debian and Ubuntu).

Signed-off-by: Chris Lalancette <clalancette@gmail.com>
(cherry picked from commit 7033cbe)

# Conflicts:
#	source/How-To-Guides.rst
#	source/How-To-Guides/Building-ROS-2-with-Tracing.rst
#	source/Installation/Ubuntu-Install-Debs.rst
#	source/Tutorials/Demos/dummy-robot-demo.rst
ahcorde added a commit that referenced this pull request Aug 22, 2024
* Rename debians to debs everywhere. (#4669)

That's because "debians" specifically refers to packages
for Debian, while "debs" more generally refers to packages
in the .deb format (which describes at least Debian and Ubuntu).

Signed-off-by: Chris Lalancette <clalancette@gmail.com>
(cherry picked from commit 7033cbe)

# Conflicts:
#	source/Installation/Ubuntu-Install-Debs.rst

* Fixed merged

Signed-off-by: Alejandro Hernández Cordero <ahcorde@gmail.com>

---------

Signed-off-by: Alejandro Hernández Cordero <ahcorde@gmail.com>
Co-authored-by: Chris Lalancette <clalancette@gmail.com>
Co-authored-by: Alejandro Hernández Cordero <ahcorde@gmail.com>
ahcorde added a commit that referenced this pull request Aug 22, 2024
* Rename debians to debs everywhere. (#4669)

That's because "debians" specifically refers to packages
for Debian, while "debs" more generally refers to packages
in the .deb format (which describes at least Debian and Ubuntu).

Signed-off-by: Chris Lalancette <clalancette@gmail.com>
(cherry picked from commit 7033cbe)

# Conflicts:
#	source/Installation/Ubuntu-Install-Debs.rst
#	source/Tutorials/Demos/dummy-robot-demo.rst

* Fixed merge

Signed-off-by: Alejandro Hernández Cordero <ahcorde@gmail.com>

---------

Signed-off-by: Alejandro Hernández Cordero <ahcorde@gmail.com>
Co-authored-by: Chris Lalancette <clalancette@gmail.com>
Co-authored-by: Alejandro Hernández Cordero <ahcorde@gmail.com>
ahcorde added a commit that referenced this pull request Aug 22, 2024
* Rename debians to debs everywhere. (#4669)

That's because "debians" specifically refers to packages
for Debian, while "debs" more generally refers to packages
in the .deb format (which describes at least Debian and Ubuntu).

Signed-off-by: Chris Lalancette <clalancette@gmail.com>
(cherry picked from commit 7033cbe)

# Conflicts:
#	source/How-To-Guides.rst
#	source/How-To-Guides/Building-ROS-2-with-Tracing.rst
#	source/Installation/Ubuntu-Install-Debs.rst
#	source/Tutorials/Demos/dummy-robot-demo.rst

* Fixed merge

Signed-off-by: Alejandro Hernández Cordero <ahcorde@gmail.com>

* Fixed merge

Signed-off-by: Alejandro Hernández Cordero <ahcorde@gmail.com>

* Fixed merge

Signed-off-by: Alejandro Hernández Cordero <ahcorde@gmail.com>

---------

Signed-off-by: Alejandro Hernández Cordero <ahcorde@gmail.com>
Co-authored-by: Chris Lalancette <clalancette@gmail.com>
Co-authored-by: Alejandro Hernández Cordero <ahcorde@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport-all backport at reviewers discretion; from rolling to all versions
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Stop calling .deb packages "Debian packages", it's confusing – Use "Deb packages" instead?
3 participants