Due to a shift in policy, from 0900 GMT on Wednesday 14th July 2021, we will be disabling ssh access to the server for external users. External users who wish to continue to access code repositories on the server will need to switch to using https. This can be accomplished in the following way: 1) On the repo on gitlab, use the clone dialogue and select ‘Clone with HTTPS’ to get the address of the repo; 2) From within the checkout of your repo run: $ git remote set-url origin HTTPS_ADDRESS. Here, replace HTTPS_ADDRESS with the address you have just copied from GitLab. Pulls and pushes will now require you to enter a username and password rather than using a ssh key. If you would prefer not to enter a password each time, you might consider caching your login credentials.

Commit 18a86d20 authored by Pierre Cazenave's avatar Pierre Cazenave

Fix a weird issue with the printing of the status information. This way should...

Fix a weird issue with the printing of the status information. This way should be more robust (if ftbverbose is empty, for example)
parent 7c04bbb5
......@@ -111,8 +111,10 @@ while readingData
lin = fgetl(fid);
if lin ~= -1 % EOF is -1
i = i + 1;
if ftbverbose && mod(i, 10000) == 0
fprintf('line %i\n', i)
if ftbverbose
if mod(i, 10000) == 0
fprintf('line %i\n', i)
% str2double doesn't work without a couple of calls to regexp,
% which makes it ~20x slower than str2num on its own. The regexp
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment