15 Jun
2016
15 Jun
'16
5:31 a.m.
On Wed, Jun 08, 2016 at 07:02:12PM +0100, Scott Armitage wrote:
If head changes, easiest (though probably not the most "correct") is to just
$ git fetch origin $ rm -rf * $ git reset --hard origin/v3.1.x
at this point you might as well
$ rm -rf freeradius-server $ git pull https://github.com/FreeRADIUS/freeradius-server.git
If you've got a fat Internet connection and not paying for usage, maybe... doing it locally is still faster. Matthew -- Matthew Newton, Ph.D. <mcn4@le.ac.uk> Systems Specialist, Infrastructure Services, I.T. Services, University of Leicester, Leicester LE1 7RH, United Kingdom For IT help contact helpdesk extn. 2253, <ithelp@le.ac.uk>