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 [2020/09/29 11:21] polak [Editors] |
it-tricks [2023/03/14 15:27] vodrazka [TAR archive mounting] |
||
---|---|---|---|
Line 15: | Line 15: | ||
* **Kile** (offline TeX editing): Anša Vernerová | * **Kile** (offline TeX editing): Anša Vernerová | ||
* **PyCharm**: | * **PyCharm**: | ||
- | * **VS Code** (remote access, IDE): Peter Polák | + | * **VS Code** (remote access, IDE - Python, C++, etc. completion, terminals): Peter Polák |
===== Bash ===== | ===== Bash ===== | ||
Line 89: | Line 89: | ||
===== LaTeX, pdf ===== | ===== LaTeX, pdf ===== | ||
- | * see also [[tex:: | + | * see also [[tex:: |
* [[http:// | * [[http:// | ||
* [[https:// | * [[https:// | ||
Line 100: | Line 100: | ||
===== 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 | + | 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 this command |
- | / | + | / |
and //umount// when you finish your work: | and //umount// when you finish your work: | ||
- | / | + | / |
+ | |||
+ | Run the command with //--help// option to see instructions for more advanced usage. The original tool can be obtained [[https:// | ||
+ | It can be installed as [[appimage.org|AppImage]]. | ||
- | You can also use the original tool called [[https:// | ||
- | / | ||
===== Other ===== | ===== Other ===== | ||
Line 121: | Line 122: | ||
* 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:// | ||