##// END OF EJS Templates
fix(dev-tools): make it more explicit to set WORKSPACE_HOME
super-admin -
Show More
@@ -575,10 +575,11 b' dev_tools_vcs_command() {'
575 575 then
576 576 DEFAULT_WORKSPACE_HOME=$WORKSPACE_HOME
577 577 else
578 DEFAULT_WORKSPACE_HOME=/media/psf/Home/workspace
578 echo "WORKSPACE_HOME env var is not set"
579 exit 1
579 580 fi
580 581
581 echo "Using default workspace path: $DEFAULT_WORKSPACE_HOME"
582 echo "Using default WORKSPACE_HOME path: $DEFAULT_WORKSPACE_HOME"
582 583
583 584 eval "
584 585 WORKSPACE_HOME=$DEFAULT_WORKSPACE_HOME \
@@ -602,10 +603,11 b' dev_tools_ee_command() {'
602 603 then
603 604 DEFAULT_WORKSPACE_HOME=$WORKSPACE_HOME
604 605 else
605 DEFAULT_WORKSPACE_HOME=/media/psf/Home/workspace
606 echo "WORKSPACE_HOME env var is not set"
607 exit 1
606 608 fi
607 609
608 echo "Using default workspace path: $DEFAULT_WORKSPACE_HOME"
610 echo "Using default WORKSPACE_HOME path: $DEFAULT_WORKSPACE_HOME"
609 611
610 612 eval "
611 613 WORKSPACE_HOME=$DEFAULT_WORKSPACE_HOME \
@@ -629,10 +631,11 b' dev_tools_ce_command() {'
629 631 then
630 632 DEFAULT_WORKSPACE_HOME=$WORKSPACE_HOME
631 633 else
632 DEFAULT_WORKSPACE_HOME=/media/psf/Home/workspace
634 echo "WORKSPACE_HOME env var is not set"
635 exit 1
633 636 fi
634 637
635 echo "Using default workspace path: $DEFAULT_WORKSPACE_HOME"
638 echo "Using default WORKSPACE_HOME path: $DEFAULT_WORKSPACE_HOME"
636 639
637 640 eval "
638 641 WORKSPACE_HOME=$DEFAULT_WORKSPACE_HOME \
@@ -656,10 +659,11 b' dev_tools_svn_command() {'
656 659 then
657 660 DEFAULT_WORKSPACE_HOME=$WORKSPACE_HOME
658 661 else
659 DEFAULT_WORKSPACE_HOME=/media/psf/Home/workspace
662 echo "WORKSPACE_HOME env var is not set"
663 exit 1
660 664 fi
661 665
662 echo "Using default workspace path: $DEFAULT_WORKSPACE_HOME"
666 echo "Using default WORKSPACE_HOME path: $DEFAULT_WORKSPACE_HOME"
663 667
664 668 eval "
665 669 WORKSPACE_HOME=$DEFAULT_WORKSPACE_HOME \
@@ -684,10 +688,11 b' dev_tools_tools_command() {'
684 688 then
685 689 DEFAULT_WORKSPACE_HOME=$WORKSPACE_HOME
686 690 else
687 DEFAULT_WORKSPACE_HOME=/media/psf/Home/workspace
691 echo "WORKSPACE_HOME env var is not set"
692 exit 1
688 693 fi
689 694
690 echo "Using default workspace path: $DEFAULT_WORKSPACE_HOME"
695 echo "Using default WORKSPACE_HOME path: $DEFAULT_WORKSPACE_HOME"
691 696
692 697 eval "
693 698 WORKSPACE_HOME=$DEFAULT_WORKSPACE_HOME \
General Comments 0
You need to be logged in to leave comments. Login now