4 commits

Author	SHA1	Message	Date
Jakobus Schürz	271942ed41	fix show pid	2020-07-09 13:51:17 +02:00
Jakobus Schürz	0bb5e255f9	add getpid of ssh-agent from known socket	2020-07-07 09:38:46 +02:00
Jakobus Schürz	f2216c8e96	write ~/.ssh-agent	2020-07-06 23:48:41 +02:00
Jakobus Schürz	5f7b354032	add scripts for bmi-usage, and etoken	2020-07-06 11:40:19 +02:00