We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b683b1b commit 81ebdfeCopy full SHA for 81ebdfe
ros1-setup/install.bash
@@ -11,7 +11,7 @@ fi
11
ubuntu_name=$(lsb_release -cs)
12
13
# Check whether universe is enabled
14
-if ! grep -h ^deb /etc/apt/sources.list 2>/dev/null | grep "${ubuntu_name} universe" -q
+if ! grep -h ^deb /etc/apt/sources.list 2>/dev/null | grep -P "${ubuntu_name}[a-z\-]* (?:[a-z ]*(?:[a-z]+(?: [a-z]+)*)) universe" -q
15
then
16
tue-install-echo "Enabling universe repository"
17
tue-install-pipe sudo add-apt-repository universe || tue-install-error "Failed to enable universe repository"
0 commit comments