qutek
/ .gitlab-ci.yml
Last active
February 12, 2024 18:26
[Gitlab CI With Rsync] Auto deploy gitlab CI with rsync
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # https://gitlab.com/help/ci/quick_start/README | |
| # https://docs.gitlab.com/ee/ci/introduction/ | |
| # https://docs.gitlab.com/ee/ci/yaml/ | |
| image: dpolyakov/docker-node-latest-with-rsync:latest | |
| # before_script: | |
| # - apt-get update -qq | |
| # - apt-get install -qq git |
tedz2usa
/ Installing SML-NJ on Ubuntu 18.04
Last active
April 8, 2024 13:37
Installing SML-NJ on Ubuntu 18.04
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Installation Tips for SML/NJ on Ubuntu 18.04 | |
| Ted Zhu | |
| First, follow the steps outlined in the SML/NJ installation instructions for Unix: | |
| http://smlnj.org/install/ | |
| The final step, | |
| $ config/install.sh |