Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
it-tricks [2019/06/07 09:25] vodrazka [IT tricks] added info about TAR archive mounting |
it-tricks [2021/04/07 10:24] 127.0.0.1 external edit |
||
---|---|---|---|
Line 11: | Line 11: | ||
* **nano**: | * **nano**: | ||
* **atom**: Martin Popel | * **atom**: Martin Popel | ||
+ | * **IntelliJ IDEA**: Jonáš Vidra | ||
* **Kate**: Jonáš Vidra | * **Kate**: Jonáš Vidra | ||
* **Kile** (offline TeX editing): Anša Vernerová | * **Kile** (offline TeX editing): Anša Vernerová | ||
* **PyCharm**: | * **PyCharm**: | ||
+ | * **VS Code** (remote access, IDE - Python, C++, etc. completion, terminals): Peter Polák | ||
===== Bash ===== | ===== Bash ===== | ||
Line 95: | Line 97: | ||
* [[https:// | * [[https:// | ||
* You can use it with [[https:// | * You can use it with [[https:// | ||
+ | * If you need a pdf-a validator (e.g. for your thesis), you can use `/ | ||
===== TAR archive mounting ===== | ===== TAR archive mounting ===== | ||
- | If you work with data consisting of many small files, you **should** store them in tar archives to save inodes. There is a way to mount a tar archive to a specific directory in the simmilar way you mount ISO image. You can use the following wrapper script to //mount// ARCHIVE to DIRECTORY: | + | If you work with data consisting of many small files, you **should** store them in tar archives to save inodes. There is a way to mount a tar archive to a specific directory in the simmilar way you mount ISO image. You can use the following wrapper script to // |
/ | / | ||
Line 118: | Line 121: | ||
* The web versions of the text utils are often older than the ones in ''/ | * The web versions of the text utils are often older than the ones in ''/ | ||
* [[https:// | * [[https:// | ||
+ | * Ondřej Plátek keeps some of the suggestions above in configs, and scripts stored in the git repository which you can just clone to your home dir. Feel free to check https:// | ||