taskman_dotnet/dotnet.inc.php

<?php
namespace taskman;
use Exception;

task('dotnet_set_env', ['always' => true], function() { 
  dotnet_set_env();
});

task('dotnet_install', function() { 
  DotnetSupport::install();
});

function dotnet_shell($cmd)
{
  shell('dotnet ' . $cmd);
}

function dotnet_shell_get($cmd)
{
  return shell_get('dotnet ' . $cmd);
}

function dotnet_set_env() 
{  
  //TODO: do we need this one?
  putenv("DOTNET_CLI_TELEMETRY_OPTOUT=1");

  DotnetSupport::addEnvPath();
}