User Tools

Site Tools


development

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
development [2019/10/15 11:59]
meesters
development [2019/10/18 10:51] (current)
meesters [IDEs]
Line 19: Line 19:
  
 We [[development:​ides_and_editors|offer a number of editors and give hints on Integrated Development Environments on a dedicated wiki page]]. We [[development:​ides_and_editors|offer a number of editors and give hints on Integrated Development Environments on a dedicated wiki page]].
 +
 +===== Monitoring =====
 +
 +Our [[development:​monitoring|Monitoring Page]] describes tools to monitor the cluster nodes (Ganglia) and shell based tools to monitor compute tasks with regard to CPU usage, memory, open files, I/O statistics.
 +
  
 ===== Source Code Management ===== ===== Source Code Management =====
development.txt · Last modified: 2019/10/18 10:51 by meesters