Install ripgrep on Ubuntu on Raspberry Pi 4

* https://github.com/BurntSushi/ripgrep/tree/9b01a8f9ae53ebcd05c27ec21843758c2c1e823f#:~:text=N.B.%20Various%20snaps%20for%20ripgrep%20on%20Ubuntu%20are%20also%20available%2C%20but%20none%20of%20them%20seem%20to%20work%20right%20and%20generate%20a%20number%20of%20very%20strange%20bug%20reports%20that%20I%20don%27t%20know%20how%20to%20fix%20and%20don%27t%20have%20the%20time%20to%20fix.%20Therefore%2C%20it%20is%20no%20longer%20a%20recommended%20installation%20option. * BurntSushi/ripgrep#1094 (comment)
noraworld · Oct 8, 2021 · b23bb02 · b23bb02
1 parent 48b849f
commit b23bb02
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/core/Aptfile b/core/Aptfile
@@ -1,7 +1,6 @@
 # Utils
 zsh
 fzf
-ripgrep
 colordiff
 bat
 

diff --git a/core/zshrc b/core/zshrc
@@ -457,3 +457,7 @@ zinit light zsh-users/zsh-autosuggestions
 zinit light zdharma/fast-syntax-highlighting
 # TODO: Uninstall Starship from both Mac and Raspberry Pi, and manage it with Zinit
 #       Because on Ubuntu it cannot be installed via apt
+if [ "$(uname -i)" = "aarch64" ] && [ "$OSTYPE" =~ "linux-gnu" ]; then
+  zinit ice from"gh-r" as"program" bpick"*aarch64-unknown-linux-gnu*" pick"rg"
+  zinit light microsoft/ripgrep-prebuilt
+fi
-Original file line number
+Diff line change
@@ -1,7 +1,6 @@
     # Utils
     zsh
     fzf
-    ripgrep
     colordiff
     bat
@@ Expand Down @@