File size: 304 Bytes
0f07ba7
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
#!/bin/bash

cd /workspace

# Ensures generated source files are present upon load
make prepare

echo "Standard Post-Start script completed."

if [ -f "/devcontainer-customization/poststart.sh" ]; then
    echo "Launching customization poststart.sh"
    bash "/devcontainer-customization/poststart.sh"
fi