Rename esofish -> fish-lang
This commit is contained in:
parent
431a8d1c4b
commit
a56ec90f15
|
@ -54,10 +54,10 @@ export interface LangConfig {
|
||||||
|
|
||||||
export const langs: { [key: string]: LangConfig } = {
|
export const langs: { [key: string]: LangConfig } = {
|
||||||
"><>": {
|
"><>": {
|
||||||
aliases: ["esofish"],
|
aliases: ["fishlang"],
|
||||||
name: "><>",
|
name: "><>",
|
||||||
main: "main.fish",
|
main: "main.fish",
|
||||||
run: "esofish main.fish",
|
run: "fish-lang main.fish",
|
||||||
template: `"Hello, world!"r\\
|
template: `"Hello, world!"r\\
|
||||||
o;!?l<
|
o;!?l<
|
||||||
`,
|
`,
|
||||||
|
|
|
@ -22,9 +22,9 @@ tar -xf pandoc-*-linux-amd64.tar.gz -C /usr --strip-components=1
|
||||||
rm pandoc-*-linux-amd64.tar.gz
|
rm pandoc-*-linux-amd64.tar.gz
|
||||||
|
|
||||||
# ><>
|
# ><>
|
||||||
wget -nv https://gist.githubusercontent.com/anonymous/6392418/raw/fish.py -O /usr/local/bin/esofish
|
wget -nv https://gist.githubusercontent.com/anonymous/6392418/raw/fish.py -O /usr/local/bin/fish-lang
|
||||||
sed -i 's:^#!.*:#!/usr/bin/env python3:' /usr/local/bin/esofish
|
sed -i 's:^#!.*:#!/usr/bin/env python3:' /usr/local/bin/fish-lang
|
||||||
chmod +x /usr/local/bin/esofish
|
chmod +x /usr/local/bin/fish-lang
|
||||||
|
|
||||||
# Ada
|
# Ada
|
||||||
wget -nv https://dl.bintray.com/reznikmm/ada-language-server/linux-latest.tar.gz
|
wget -nv https://dl.bintray.com/reznikmm/ada-language-server/linux-latest.tar.gz
|
||||||
|
|
Loading…
Reference in New Issue