Text in mehreren PDFs gleichzeitig suchen, ohne sie zu öffnen

Text in mehreren PDFs gleichzeitig suchen, ohne sie zu öffnen

PDF-Dateien sind das Standard-Format für Dokumente online. Berichte, Anleitungen, Forschungen und Formulare liegen meist als PDF vor. Sitzt man vor einer ganzen Anzahl PDFs und sucht etwas Bestimmtes darin, muss man nicht jede Datei erst öffnen. Das geht auch schneller.

Die Lösung ist hier der kostenlose PDF-Betrachter Foxit Reader. Denn damit lassen sich viele PDFs, die alle in einem Ordner liegen, auf einen Schlag durchsuchen. Dazu nach der Installation den Foxit Reader öffnen und dann auf die rechte obere Ecke des Fensters achten. Neben dem Such-Feld findet sich ein Icon mit einem Ordner und einer Lupe.

Ein Klick darauf öffnet eine Leiste, in der sich der gewünschte Ziel-Ordner mit den PDFs auswählen lässt. Dann noch den passenden Begriff eintippen und auf den Suchen-Button klicken. Die Ergebnisse sind dann verlinkt, sodass ein Klick die jeweils zugehörige PDF-Datei im Foxit Reader anzeigt.

foxit-reader-mehrere-pdfs-durchsuchen

Festlegen, welche Ordner mit Google Drive synchronisiert werden

Festlegen, welche Ordner mit Google Drive synchronisiert werden

Über die selektive Ordner-Synchronisierung können Personen, die viele Inhalte in der Cloud-Festplatte Google Drive abgelegt haben, sich entscheiden, welche dieser Daten mit dem lokalen Speicher abgeglichen werden sollen und welche nur online erreichbar sein sollen.

Um die Einstellungen für die selektive Synchronisierung anzupassen, klickt man als Erstes mit der rechten Maus-Taste auf das Google Drive-Symbol unten in der Task-Leiste. Dann oben rechts im angezeigten Pop-Up auf den Button Mehr Optionen und dort auf Einstellungen klicken.

Einer der drei Tabs im daraufhin sichtbaren Einstellungs-Dialog lautet Sync-Optionen. Hier die Häkchen für die aufgelisteten Ordner wie gewünscht setzen und dann unten auf Übernehmen klicken.

google-drive-selektive-synchronisierung

Ubuntu: Verzeichnis per Kommando-Zeile umbenennen

Ubuntu: Verzeichnis per Kommando-Zeile umbenennen

Per Shell geht vieles schneller von der Hand als mit Maus und Ordner-Fenster. Zum Beispiel auch das Umbenennen von Ordnern auf der Festplatte. Wie man einem Ordner mit einem einzigen Befehl einen neuen Namen geben kann, zeigt dieser Tipp.

Die Lösung: Der Befehl „mv“. Dieses Kommando ist für zwei Aufgaben gleichzeitig zuständig: Einerseits kann „mv“ Dateien oder Verzeichnisse verschieben, und andererseits können Dateien oder Verzeichnisse umbenannt werden. Zum Umbenennen einer Datei oder auch eines Ordners gibt man folgenden Befehl in ein Terminal ein:

mv  alterName  neuerName [Enter]

Zum Verschieben eines Ordners nach dem Befehl „mv“ noch den Schalter „-R“ angeben. Der steht für „rekursiv“, verschiebt also den Ordner samt allen enthaltenen Dateien und Unter-Verzeichnissen.

linux-mv

Download von Dateien per Windows-PowerShell

Download von Dateien per Windows-PowerShell

Mit Windows liefert Microsoft auch eine mächtige Shell mit. Dabei reden wir nicht von der Bash, die im Anniversary Update neu hinzukommt, sondern von der PowerShell. Mit der PowerShell lassen sich sogar Dateien aus dem Internet herunterladen.

Zum Download einer Datei auf die lokale Festplatte nutzt man in der PowerShell die folgenden Befehle:

$client = new-object System.Net.WebClient [Enter]
$client.DownloadFile("https://example.com/datei.jpg", "C:\Users\Beispiel\datei.jpg") [Enter]

Bei dem zweiten Befehl einfach die URL zu der Datei im Web angeben sowie den Ordner-Pfad, unter dem sie abgelegt werden soll. Einen eventuell noch nicht existierenden Ordner legt die PowerShell übrigens nicht erst an, das muss man also zuvor von Hand erledigen.

powershell-datei-download

So wird man den Windows.old-Ordner los

So wird man den Windows.old-Ordner los

Funktioniert nach der Installation oder dem Upgrade auf Windows 10 alles wie erwartet, kann man den Ordner „Windows.old“ getrost löschen. Dadurch gibt man viel Speicher-Platz frei. Hier steht, wie das Löschen dieses Ordners im Einzelnen klappt.

Der Ordner „Windows.old“ liegt auf dem Laufwerk, auf dem das System aktuell installiert ist (meist hat es den Buchstaben C). Das Löschen geht aber nicht einfach mit der [Entf]-Taste. Stattdessen braucht es die Datenträger-Bereinigung.

Dazu als Erstes [Win]+[E] drücken, dann zur Ansicht Dieser PC wechseln. Nun mit der rechten Maus-Taste auf das System-Laufwerk klicken und die Eigenschaften aufrufen. Jetzt auf die Schaltfläche Bereinigen klicken, dann warten, bis eine Liste erscheint. Hier folgt unten ein Klick auf System-Dateien bereinigen.

Nach einiger Zeit erscheint eine neue Liste, in der man den Haken bei der Zeile Vorherige Windows-Installation(en) setzt. Zum Schluss unten auf OK klicken, um den Lösch-Vorgang zu starten. Der kann einige Zeit andauern.

eigenschaften-system-laufwerk

Google Chrome: Installierte Erweiterung lokal speichern

Google Chrome: Installierte Erweiterung lokal speichern

Wer Chrome-Erweiterungen als Sicherung auf der Festplatte speichern will – oder, um den Quell-Code zu untersuchen – kann dazu den Entwickler-Modus nutzen. Denn Erweiterungen lassen sich damit auch direkt über den Browser abspeichern.

Dazu startet man Chrome zunächst und klickt dann im Menü auf Erweiterungen. Danach oben den Haken bei Entwickler-Modus setzen. Jetzt oben auf den Button Erweiterung packen… klicken, dann zum eigenen Chrome-Profil wechseln, um dort den Unterordner Extensions sowie den Ordner mit dem Code der gewünschten Erweiterung zu markieren.

Per Klick auf Erweiterung packen entsteht dabei die für Chrome-Add-Ons typische .crx-Datei, die sich jetzt in jedem anderen Chrome-Browser wieder 1-zu-1 importieren lässt.

chrome-erweiterungen-packen

Apple Mail: Senden von eMails rückgängig machen

Apple Mail: Senden von eMails rückgängig machen

Wer eine eMail gesendet hat, dann aber feststellt, dass etwas vergessen wurde, muss das Senden schnell stoppen können. Bei Apple Mail ist das aber gar nicht so einfach. Es sei denn, man verwendet einen Trick.

Der besteht darin, einfach den Senden-Button aus dem Verfassen-Fenster zu verbannen. Dann schreibt man seine eMails wie gewohnt und schließt dann das Entwurfs-Fenster. Dabei wird man gefragt, ob die Nachricht gespeichert werden soll.

Später dann einfach im Ordner „Entwürfe“ nachsehen und die dort gespeicherten eMails nach erneuter Durchsicht endgültig absenden. So einfach geht das!

mailbox

Windows 10: Festlegen, wie viel Platz der Papierkorb belegen darf

Windows 10: Festlegen, wie viel Platz der Papierkorb belegen darf

Wer kennt das nicht: Auf der Festplatte ist immer zu wenig Speicherplatz frei. Das kann auch am Papierkorb liegen. Hat man etwa kürzlich viele Dateien gelöscht, belegt der Papierkorb schnell Unmengen an Gigabyte auf den Laufwerken. Das muss nicht sein.

Denn als Nutzer kann man selbst festlegen, wie viel Speicherplatz den Inhalten des Papierkorbs zugestanden wird:

  1. Als Erstes mit der rechten Maustaste auf das Papierkorb-Symbol auf dem Desktop klicken.
  2. Im Kontextmenü folgt ein Klick auf die Einstellungen.
  3. Hier kann nun für jedes Laufwerk separat festgelegt werden, wie viel Speicherplatz der Papierkorb maximal in Anspruch nehmen darf.
  4. Zum Schluss bestätigt man die Änderungen noch, damit sie wirksam werden.

Tipp: Die Option zum sofortigen Löschen von Dateien und Ordnern – also ohne Papierkorb – sollte man nicht aktivieren. Elemente gehen sonst schneller verloren, als man möchte.

win10-papierkorb-groesse-festlegen