From 285e584d3643ba1c11761d11a02eda08ed608cf9 Mon Sep 17 00:00:00 2001
From: ckunki <christoph.kuhnke@exasol.com>
Date: Tue, 8 Oct 2024 09:20:26 +0200
Subject: [PATCH] Fixed instructions on how to update packages in developer
 guide

---
 doc/developer_guide/updating_packages.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/developer_guide/updating_packages.md b/doc/developer_guide/updating_packages.md
index 76f4fb28..dd5f77df 100644
--- a/doc/developer_guide/updating_packages.md
+++ b/doc/developer_guide/updating_packages.md
@@ -10,7 +10,7 @@ If the update is very new and not yet displayed on packages.ubuntu.com you can u
 
 ```shell
 apt-get update
-apt-search <package>
+apt search <package>
 ```
 
 Maybe installing the command [chdist](https://manpages.ubuntu.com/manpages/xenial/en/man1/chdist.1.html) could also be helpful, as it allows searching for packages and updates in other versions and distributions of ubuntu than the one installed on your local system.