# HG changeset patch # User Giulio Moro # Date 1466627977 -3600 # Node ID 45ddfcd0e417e5d7f055ebce3e867d33ed6e68b0 # Parent 5406a719910bc0046772983afc98c8335e215362# Parent c774bd8ad108423679899033df334fc8f85da724 Merge diff -r 5406a719910b -r 45ddfcd0e417 scripts/.bela_common --- a/scripts/.bela_common Wed Jun 22 21:38:43 2016 +0100 +++ b/scripts/.bela_common Wed Jun 22 21:39:37 2016 +0100 @@ -30,7 +30,7 @@ set_date(){ # an optional parameter will be executed as part of the same ssh session - ssh $BBB_ADDRESS "date -s \"`date '+%Y%m%d %T %Z'`\" > /dev/null; $1" + ssh $BBB_ADDRESS "date -s \"`date '+%Y%m%d %T %z'`\" > /dev/null; $1" } check_board_alive(){