Monthly Archives: February 2018

How to prevent wget from creating duplicates

Tweet wget is used to download file from internet. For instance:

So far so good but two things may happen. First, you may interrupt the download. Second, you may load the file again. Sometimes, files are huge and you … Continue reading

Posted in Linux | Tagged | Leave a comment

Meaning of Real, User and Sys time statistics

Tweet Under Linux, the time command is quite convenient to get the elapsed time taken by a command call. It is very simple to use: just type your command preceded by the time command itself. For instance:

The output … Continue reading

Posted in Linux | 2 Comments

git : How to remove a big file wrongly committed

Tweet I added a large file to a git repository (102Mb), commited and push and got an error due to size limit limitations on github

Here, you see the path of the file (coverage/sensitivity/simualted.bed). So, the solution is actually … Continue reading

Posted in Computer Science | Tagged , | Leave a comment