Skip to content

Useful Tools

Enrico Seiler edited this page Nov 19, 2021 · 28 revisions
  • SSH -- connecting with ssh to the fu-berlin servers
  • tmux πŸ”— -- same as screen but newer and cooler
  • fzf πŸ”— -- quick file/folder selection, improve ctrl-r in shell and much more
  • miniconda πŸ”— -- install software in user space
  • GraphViz

Useful bash commands

  • Access problems: chmod a+rwx FILE (all users -> read, write & execute permissions)
  • How much space do I use? du -sh * | sort -rh

Useful page to interpret bash commands: https://explainshell.com/explain?cmd=du+-sm+*+%7C+sort+-rh

Git

If you prefer to use a Git GUI, we recommend sourcetree πŸ”—. You can also use a commit message template that looks like this:

~/Repos/seqan3$ less .git/commit_msg_template.txt

[FEATURE] Whenever you implement something new and shiny
[FIX]     Whenever you fix some wrong code in the source
[DOC]     Whenever you do something only(!) related to the documentation
[INFRA]   Whenever you change something of the build system or CI related
[TEST]    Whenever you do something related to the tests (unit or benchmark)
[MISC]    miscellaneous (=sonstiges) (style guide fixes) - Whenever it does not fit to any of the above

[INTERNAL] [I/O] [WIP] work in progress 
([NOP] not otherwise provided)

Clone this wiki locally