mirror of
https://github.com/unisonweb/unison.git
synced 2024-10-03 21:28:01 +03:00
Use unison-local-ui over codebase-ui
Migrate to use the new Unison Local UI repository from [unison-local-ui](https://github.com/unisonweb/unison-local-ui) instead of [codebase-ui](https://github.com/unisonweb/codebase-ui).
This commit is contained in:
parent
5fd1fb976a
commit
a2e57861f7
8
.github/workflows/pre-release.yaml
vendored
8
.github/workflows/pre-release.yaml
vendored
@ -28,12 +28,12 @@ jobs:
|
|||||||
- name: build
|
- name: build
|
||||||
run: stack --no-terminal build --flag unison-parser-typechecker:optimized
|
run: stack --no-terminal build --flag unison-parser-typechecker:optimized
|
||||||
|
|
||||||
- name: fetch latest codebase-ui and package with ucm
|
- name: fetch latest Unison Local UI and package with ucm
|
||||||
run: |
|
run: |
|
||||||
mkdir -p /tmp/ucm/ui
|
mkdir -p /tmp/ucm/ui
|
||||||
UCM=$(stack path | awk '/local-install-root/{print $2}')/bin/unison
|
UCM=$(stack path | awk '/local-install-root/{print $2}')/bin/unison
|
||||||
cp $UCM /tmp/ucm/ucm
|
cp $UCM /tmp/ucm/ucm
|
||||||
wget -O/tmp/unisonLocal.zip https://github.com/unisonweb/codebase-ui/releases/download/latest/unisonLocal.zip
|
wget -O/tmp/unisonLocal.zip https://github.com/unisonweb/unison-local-ui/releases/download/latest/unisonLocal.zip
|
||||||
unzip -d /tmp/ucm/ui /tmp/unisonLocal.zip
|
unzip -d /tmp/ucm/ui /tmp/unisonLocal.zip
|
||||||
tar -c -z -f ucm-linux.tar.gz -C /tmp/ucm .
|
tar -c -z -f ucm-linux.tar.gz -C /tmp/ucm .
|
||||||
|
|
||||||
@ -67,12 +67,12 @@ jobs:
|
|||||||
- name: build
|
- name: build
|
||||||
run: stack --no-terminal build --flag unison-parser-typechecker:optimized
|
run: stack --no-terminal build --flag unison-parser-typechecker:optimized
|
||||||
|
|
||||||
- name: fetch latest codebase-ui and package with ucm
|
- name: fetch latest Unison Local UI and package with ucm
|
||||||
run: |
|
run: |
|
||||||
mkdir -p /tmp/ucm/ui
|
mkdir -p /tmp/ucm/ui
|
||||||
UCM=$(stack path | awk '/local-install-root/{print $2}')/bin/unison
|
UCM=$(stack path | awk '/local-install-root/{print $2}')/bin/unison
|
||||||
cp $UCM /tmp/ucm/ucm
|
cp $UCM /tmp/ucm/ucm
|
||||||
wget -O/tmp/unisonLocal.zip https://github.com/unisonweb/codebase-ui/releases/download/latest/unisonLocal.zip
|
wget -O/tmp/unisonLocal.zip https://github.com/unisonweb/unison-local-ui/releases/download/latest/unisonLocal.zip
|
||||||
unzip -d /tmp/ucm/ui /tmp/unisonLocal.zip
|
unzip -d /tmp/ucm/ui /tmp/unisonLocal.zip
|
||||||
tar -c -z -f ucm-macos.tar.gz -C /tmp/ucm .
|
tar -c -z -f ucm-macos.tar.gz -C /tmp/ucm .
|
||||||
|
|
||||||
|
12
.github/workflows/release.yaml
vendored
12
.github/workflows/release.yaml
vendored
@ -54,12 +54,12 @@ jobs:
|
|||||||
- name: build
|
- name: build
|
||||||
run: stack --no-terminal build --flag unison-parser-typechecker:optimized
|
run: stack --no-terminal build --flag unison-parser-typechecker:optimized
|
||||||
|
|
||||||
- name: fetch latest codebase-ui and package with ucm
|
- name: fetch latest Unison Local UI and package with ucm
|
||||||
run: |
|
run: |
|
||||||
mkdir -p /tmp/ucm/ui
|
mkdir -p /tmp/ucm/ui
|
||||||
UCM=$(stack path | awk '/local-install-root/{print $2}')/bin/unison
|
UCM=$(stack path | awk '/local-install-root/{print $2}')/bin/unison
|
||||||
cp $UCM /tmp/ucm/ucm
|
cp $UCM /tmp/ucm/ucm
|
||||||
wget -O/tmp/unisonLocal.zip https://github.com/unisonweb/codebase-ui/releases/download/latest/unisonLocal.zip
|
wget -O/tmp/unisonLocal.zip https://github.com/unisonweb/unison-local-ui/releases/download/latest/unisonLocal.zip
|
||||||
unzip -d /tmp/ucm/ui /tmp/unisonLocal.zip
|
unzip -d /tmp/ucm/ui /tmp/unisonLocal.zip
|
||||||
tar -c -z -f ucm-linux.tar.gz -C /tmp/ucm .
|
tar -c -z -f ucm-linux.tar.gz -C /tmp/ucm .
|
||||||
|
|
||||||
@ -87,12 +87,12 @@ jobs:
|
|||||||
- name: build
|
- name: build
|
||||||
run: stack --no-terminal build --flag unison-parser-typechecker:optimized
|
run: stack --no-terminal build --flag unison-parser-typechecker:optimized
|
||||||
|
|
||||||
- name: fetch latest codebase-ui and package with ucm
|
- name: fetch latest Unison Local UI and package with ucm
|
||||||
run: |
|
run: |
|
||||||
mkdir -p /tmp/ucm/ui
|
mkdir -p /tmp/ucm/ui
|
||||||
UCM=$(stack path | awk '/local-install-root/{print $2}')/bin/unison
|
UCM=$(stack path | awk '/local-install-root/{print $2}')/bin/unison
|
||||||
cp $UCM /tmp/ucm/ucm
|
cp $UCM /tmp/ucm/ucm
|
||||||
wget -O/tmp/unisonLocal.zip https://github.com/unisonweb/codebase-ui/releases/download/latest/unisonLocal.zip
|
wget -O/tmp/unisonLocal.zip https://github.com/unisonweb/unison-local-ui/releases/download/latest/unisonLocal.zip
|
||||||
unzip -d /tmp/ucm/ui /tmp/unisonLocal.zip
|
unzip -d /tmp/ucm/ui /tmp/unisonLocal.zip
|
||||||
tar -c -z -f ucm-macos.tar.gz -C /tmp/ucm .
|
tar -c -z -f ucm-macos.tar.gz -C /tmp/ucm .
|
||||||
|
|
||||||
@ -112,14 +112,14 @@ jobs:
|
|||||||
- name: build
|
- name: build
|
||||||
run: stack --no-terminal build --flag unison-parser-typechecker:optimized
|
run: stack --no-terminal build --flag unison-parser-typechecker:optimized
|
||||||
|
|
||||||
- name: fetch latest codebase-ui and package with ucm
|
- name: fetch latest Unison Local UI and package with ucm
|
||||||
# Powershell
|
# Powershell
|
||||||
run: |
|
run: |
|
||||||
mkdir -p tmp\ui
|
mkdir -p tmp\ui
|
||||||
mkdir -p release\ui
|
mkdir -p release\ui
|
||||||
$UCM = stack exec -- where unison
|
$UCM = stack exec -- where unison
|
||||||
cp $UCM .\release\ucm.exe
|
cp $UCM .\release\ucm.exe
|
||||||
Invoke-WebRequest -Uri https://github.com/unisonweb/codebase-ui/releases/download/latest/unisonLocal.zip -OutFile tmp\unisonLocal.zip
|
Invoke-WebRequest -Uri https://github.com/unisonweb/unison-local-ui/releases/download/latest/unisonLocal.zip -OutFile tmp\unisonLocal.zip
|
||||||
Expand-Archive -Path tmp\unisonLocal.zip -DestinationPath release\ui
|
Expand-Archive -Path tmp\unisonLocal.zip -DestinationPath release\ui
|
||||||
Compress-Archive -Path .\release\* -DestinationPath ucm-windows.zip
|
Compress-Archive -Path .\release\* -DestinationPath ucm-windows.zip
|
||||||
|
|
||||||
|
@ -40,7 +40,7 @@ $ stack --version # we'll want to know this version if you run into trouble
|
|||||||
$ stack build --fast --test && stack exec unison
|
$ stack build --fast --test && stack exec unison
|
||||||
```
|
```
|
||||||
|
|
||||||
To run a local codebase-ui while building from source, you can use the `/dev-ui-install.sh` script. It will download the latest release of the codebase-ui and put it in the expected location for the unison executable created by `stack build`. When you start unison, you'll see a url where the codebase-ui is running.
|
To run the Unison Local UI while building from source, you can use the `/dev-ui-install.sh` script. It will download the latest release of [unison-local-ui](https://github.com/unisonweb/unison-local-ui) and put it in the expected location for the unison executable created by `stack build`. When you start unison, you'll see a url where Unison Local UI is running.
|
||||||
|
|
||||||
See [`development.markdown`](development.markdown) for a list of build commands you'll likely use during development.
|
See [`development.markdown`](development.markdown) for a list of build commands you'll likely use during development.
|
||||||
|
|
||||||
@ -48,7 +48,7 @@ Codebase Server
|
|||||||
---------------
|
---------------
|
||||||
|
|
||||||
When `ucm` starts it starts a Codebase web server that is used by the
|
When `ucm` starts it starts a Codebase web server that is used by the
|
||||||
[Codebase UI](https://github.com/unisonweb/codebase-ui). It selects a random
|
[Unison Local UI](https://github.com/unisonweb/unison-local-ui). It selects a random
|
||||||
port and a unique token that must be used when starting the UI to correctly
|
port and a unique token that must be used when starting the UI to correctly
|
||||||
connect to the server.
|
connect to the server.
|
||||||
|
|
||||||
|
@ -4,7 +4,7 @@ echo "executable built by stack."
|
|||||||
echo ""
|
echo ""
|
||||||
|
|
||||||
stack build
|
stack build
|
||||||
curl -L https://github.com/unisonweb/codebase-ui/releases/download/latest/unisonLocal.zip --output unisonLocal.zip
|
curl -L https://github.com/unisonweb/unison-local-ui/releases/download/latest/unisonLocal.zip --output unisonLocal.zip
|
||||||
parent_dir="$(dirname -- $(stack exec which unison))"
|
parent_dir="$(dirname -- $(stack exec which unison))"
|
||||||
mkdir -p "$parent_dir/ui"
|
mkdir -p "$parent_dir/ui"
|
||||||
unzip -o unisonLocal.zip -d "$parent_dir/ui"
|
unzip -o unisonLocal.zip -d "$parent_dir/ui"
|
||||||
|
Loading…
Reference in New Issue
Block a user