Skip to content

gitで使用するメールアドレスを変更 #196

gitで使用するメールアドレスを変更

gitで使用するメールアドレスを変更 #196

Workflow file for this run

name: dotfiles CI
on:
pull_request:
jobs:
test:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
- name: Update packages list and install zsh
run: |
sudo apt update -y
sudo apt install -y zsh
- name: Check syntax of initialize.zsh file
run: zsh -n initialize.zsh
- name: Check syntax of initialize script files
run: "zsh -n ./scripts/init/*.zsh"
- name: Check syntax of symlinks/dirs/bin-dotfiles/pull-dotfiles file
run: zsh -n symlinks/dirs/bin-dotfiles/pull-dotfiles
- name: Run initialize.zsh in isolated HOME
run: |
test_home="$(mktemp -d "${RUNNER_TEMP}/dotfiles-home.XXXXXX")"
ln -s "${GITHUB_WORKSPACE}" "${test_home}/dotfiles"
HOME="${test_home}" zsh -c 'cd "${HOME}/dotfiles" && ./initialize.zsh'
test -d "${test_home}/bin-local"
test -L "${test_home}/bin-dotfiles"
test -L "${test_home}/.zsh"
test -L "${test_home}/.zpreztorc"
test -L "${test_home}/.zprofile"
test -L "${test_home}/.zshrc"
test -d "${test_home}/.zprezto"