lots: shellcheck, streaming stuff, fixes

[distro-setup] / dsremote

diff --git a/dsremote b/dsremote
index 21767404a53cfed9b1c045d79aa124f7f541c3f6..ec8b2d269e6669bec6f21542ff4e9e30e4f7812c 100755 (executable)
--- a/dsremote
+++ b/dsremote
@@ -13,6 +13,7 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 
+# shellcheck source=/a/bin/ds/.bashrc
 if [[ -s ~/.bashrc ]];then . ~/.bashrc;fi
 
 set -eE -o pipefail