Unter Linux möchte ich mir das Tool "fzf" installieren, welches hier beschrieben wird: https://www.tecmint.com/fzf-fuzzy-file-search-from-linux-terminal/ Für die Installation hätte ich nun einfach den tmp-Ordner gewählt, damit nach einem Neustart die nicht mehr benötigten Installationsdateien gelöscht werden: git clone --depth 1 https://github.com/junegunn/fzf.git /tmp/fzf Nun frage ich mich allerdings, sind diese Dateien, welche ich als "einfach nur Installations-Dateien" ansehe nach einer Installation noch relevant? Wenn nicht, wohin werden denn dann die tatsächlich neu geschriebenen Programmteile geschrieben? (ich verwenden Ubuntu 18.04)
Ach so, damit ich nicht falsch verstanden werde: Die Zeile mit git kopiert ja nur die Daten vom Netz. Anschließen habe ich sie natürlich noch installieren müssen: /tmp/fzf/install
Guck in das install-Skript. Wenn es sich an die Standards hält, hilft dir Andreas' Link. MfG, Arno
Arno schrieb: > Guck in das install-Skript. ... wenn eines da ist. Sonst hilft 'which':
1 | $ which apt-get |
2 | /usr/bin/apt-get |
leo
leo schrieb: > Arno schrieb: >> Guck in das install-Skript. > > ... wenn eines da ist. Sonst hilft 'which': Guck mal in den Link im OP: https://github.com/junegunn/fzf/blob/master/install MfG, Arno
Debian hat ein Package dafür: https://debian.pkgs.org/10/debian-main-amd64/fzf_0.17.5-2+b10_amd64.deb.html Auf der Seite siehst du eine Liste der installierten Dateien mit Pfad unter Debian. Wird bei ubuntu nicht viel anders sein. und: Dependencies: Nur libc6 >= 2.3.2 das .deb lässt sich vtml. auch einfach auf ubuntu installieren.
leo schrieb: > Arno schrieb: >> Guck in das install-Skript. > > ... wenn eines da ist. Sonst hilft 'which':$ which apt-get > /usr/bin/apt-get > > leo Cool, danke! Kannte bisher nur 'type' - 'which' scheint identisch zu sein.
Bitte melde dich an um einen Beitrag zu schreiben. Anmeldung ist kostenlos und dauert nur eine Minute.
Bestehender Account
Schon ein Account bei Google/GoogleMail? Keine Anmeldung erforderlich!
Mit Google-Account einloggen
Mit Google-Account einloggen
Noch kein Account? Hier anmelden.