-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathparams.json
More file actions
1 lines (1 loc) · 1.88 KB
/
params.json
File metadata and controls
1 lines (1 loc) · 1.88 KB
1
{"name":"Bash-histories","tagline":"","body":"## Help us with our project by providing us with your bash history\r\n\r\n### Why do we want these files?\r\nThis data gathering is part of a software engineering research project that I am working on with Earl. We would like to carry out some analysis on your bash histories to evaluate users' usage of the command line. If you have any more questions then please feel free to contact us - the details are below under \"Contact Us\".\r\n\r\n## Instructions\r\nIf you cannot view hidden files on your machine then please follow the instructions below to upload your .bash_history file. Otherwise you can directly use <a href=\"https://script.google.com/macros/s/AKfycbxxmk-CH7N0w98jk6C6BAhi_kOagu34Gmg9uyjZV1is9auoijJ4/exec\">this uploader</a>\r\n\r\n- Open a command line terminal window.\r\n- Run this command to copy your .bash_history file to your Desktop and make it visible.: \r\n```\r\n$ cp ~/.bash_history ~/Desktop/bash_history\r\n```\r\n- Use <a href=\"https://script.google.com/macros/s/AKfycbxxmk-CH7N0w98jk6C6BAhi_kOagu34Gmg9uyjZV1is9auoijJ4/exec\">this uploader</a> to upload your file*.\r\n- Run this command to remove it from your Desktop:\r\n```\r\n$ rm ~/Desktop/.bash_history\r\n```\r\n*Please note: this uploader was created using Google App Script hence will require your permission.\r\n\r\n## Alternative Methods\r\nIf you prefer not to use the automatic uploader, you can also email us your .bash_history file. Just follow the instruction in the \"Contact Us\" section, below.\r\n\r\n## Contact Us\r\nFor more information or questions please use the following contact details. Please use \"BASH\" in the subject header to ensure that your email gets through to us.\r\n- Dr Earl Barr: e.barr@ucl.ac.uk\r\n- Maithreyi Venkatesh: maithu@hotmail.co.uk\r\n","google":"","note":"Don't delete this file! It's used internally to help with page regeneration."}