##// END OF EJS Templates
top menu: 'Repositories' is really also a 'Home' button...
top menu: 'Repositories' is really also a 'Home' button 'Repositories' had a href="#" but it wasn't used - the sub menu is loaded and shown when hovering. The '/' front page is a more verbose view of repositories. It thus make sense to let 'Repositories' point there.

File last commit:

r2527:95624ce4 beta
r3282:2d22c0da beta
Show More
mem_watch
1 line | 165 B | text/plain | TextLexer
ps -eo size,pid,user,command --sort -size | awk '{ hr=$1/1024 ; printf("%13.2f Mb ",hr) } { for ( x=4 ; x<=NF ; x++ ) { printf("%s ",$x) } print "" }'|grep [p]aster