niemand hat geschrieben: 
27.09.2020 11:27:57
Die Tilde steht für $HOME, und „in ein Verzeichnis unterhalb davon“ steht für „in ein Verzeichnis unterhalb von $HOME/“, etwa
~/eclipse/ – das ist übrigens auch Vorgabe im Installer.
Vielen Dank für die Hinweise.
Irgendwie scheint es nun das Userverzeichnis, also /home/user/eclipse geworden zu sein - keine Ahnung was ich da verklickt oder gerade nicht weggeklickt habe, ist vielleicht auch egal - sonst wäre es wohl richtig, gleich aufzuräumen und neu zu installieren. Oder das Verzeichnis zu verschieben, wenn die Pfade es vertragen.
PyDev wird so erstmal nicht in der Auswahl von Eclipse angeboten, wahrscheinlich müßte ich da die Softwarequellen in Eclipse erst anpassen. Doch PyDev ist wohl, wenn ich es richtig gesehn habe, noch eher für Python 2x angelegt, also womöglich nicht die beste Wahl. Offenbar muß ich mich da besser informieren was sinnvoll ist; auf die Schnelle gefunden habe ich CodeMix oder SonarLint, wozu ich vmtl. wohl auch in Eclipse "Available Software" als Quelle ergänzen oder anpassen müßte?
Nachtrag 1
SolarLint wollte ich mal ganz einfach wie auf der Webseite ausgeführt per drag&drop in Eclipse installieren, ging nicht bzw. führte zu Fehlermeldungen, vielleicht fehlt ein extra Marketplace-Plugin oder es war was anderes, irgendwie kommt mir da die "einfache" Installationsstraegie etwas absurd vor, wenns doch nicht klappt oder wenn ich vorher dafür noch extra Klimmzüge machen muß (oder womöglich drei Kühlschränke abbonieren?).
Nachtrag 2
Ich bin jetzt doch eher bei Visual Studio Code als Lösung für Python. Auch parallel zu Eclipse für PHP und JAVA. VS Code ist evtl. als snap installierbar, bei den anderen Möglichkeiten, die ich im Netz gefunden habe, ist mir ähnlich wie bei Eclipse immer noch nicht ganz klar, wie das langfristig etwa bei einem version-update ausschauen mag.