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 [2020/09/29 11:21] polak [Editors] |
||
---|---|---|---|
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): 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 // |
/ | / |