Add repo url argument in Linux instructions