##// END OF EJS Templates
repo-switcher: new unified search box for filtering/accessing users, repos and repo groups....
repo-switcher: new unified search box for filtering/accessing users, repos and repo groups. - mainly driven by customer feedback - two filter boxes on main page was confusing, and people constantly asked if grid filter can search recursive - now we use one unified search on main nave accessible on every page - it now also can search for users

File last commit:

r1:854a839a default
r2774:a8ecef4e default
Show More
mem_watch
1 line | 151 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 "" }'