Monthly Archives: February 2018

How to prevent wget from creating duplicates

Posted on February 21, 2018 by Thomas Cokelaer

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

Posted on February 3, 2018 by Thomas Cokelaer

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

Posted on February 2, 2018 by Thomas Cokelaer

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 , | 43 Comments