Monthly Archives: February 2018

How to prevent wget from creating duplicates

wget is used to download file from internet. For instance: wget http://url/test.csvwget http://url/test.csv 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 … Continue reading

Posted in Linux | Tagged | Leave a comment

Meaning of Real, User and Sys time statistics

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: time dftime df The … Continue reading

Posted in Linux | 2 Comments

git : How to remove a big file wrongly committed

I added a large file to a git repository (102Mb), commited and push and got an error due to size limit limitations on github remote: error: GH001: Large files detected. You may want to try Git Large File Storage – … Continue reading

Posted in Computer Science | Tagged , | 21 Comments