"use strict";
var __assign = (this && this.__assign) || function () {
    __assign = Object.assign || function(t) {
        for (var s, i = 1, n = arguments.length; i < n; i++) {
            s = arguments[i];
            for (var p in s) if (Object.prototype.hasOwnProperty.call(s, p))
                t[p] = s[p];
        }
        return t;
    };
    return __assign.apply(this, arguments);
};
var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
    function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
    return new (P || (P = Promise))(function (resolve, reject) {
        function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } }
        function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } }
        function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); }
        step((generator = generator.apply(thisArg, _arguments || [])).next());
    });
};
var __generator = (this && this.__generator) || function (thisArg, body) {
    var _ = { label: 0, sent: function() { if (t[0] & 1) throw t[1]; return t[1]; }, trys: [], ops: [] }, f, y, t, g;
    return g = { next: verb(0), "throw": verb(1), "return": verb(2) }, typeof Symbol === "function" && (g[Symbol.iterator] = function() { return this; }), g;
    function verb(n) { return function (v) { return step([n, v]); }; }
    function step(op) {
        if (f) throw new TypeError("Generator is already executing.");
        while (_) try {
            if (f = 1, y && (t = op[0] & 2 ? y["return"] : op[0] ? y["throw"] || ((t = y["return"]) && t.call(y), 0) : y.next) && !(t = t.call(y, op[1])).done) return t;
            if (y = 0, t) op = [op[0] & 2, t.value];
            switch (op[0]) {
                case 0: case 1: t = op; break;
                case 4: _.label++; return { value: op[1], done: false };
                case 5: _.label++; y = op[1]; op = [0]; continue;
                case 7: op = _.ops.pop(); _.trys.pop(); continue;
                default:
                    if (!(t = _.trys, t = t.length > 0 && t[t.length - 1]) && (op[0] === 6 || op[0] === 2)) { _ = 0; continue; }
                    if (op[0] === 3 && (!t || (op[1] > t[0] && op[1] < t[3]))) { _.label = op[1]; break; }
                    if (op[0] === 6 && _.label < t[1]) { _.label = t[1]; t = op; break; }
                    if (t && _.label < t[2]) { _.label = t[2]; _.ops.push(op); break; }
                    if (t[2]) _.ops.pop();
                    _.trys.pop(); continue;
            }
            op = body.call(thisArg, _);
        } catch (e) { op = [6, e]; y = 0; } finally { f = t = 0; }
        if (op[0] & 5) throw op[1]; return { value: op[0] ? op[1] : void 0, done: true };
    }
};
var __importDefault = (this && this.__importDefault) || function (mod) {
    return (mod && mod.__esModule) ? mod : { "default": mod };
};
Object.defineProperty(exports, "__esModule", { value: true });
exports.getServerSideProps = void 0;
var jsx_runtime_1 = require("react/jsx-runtime");
var antd_1 = require("antd");
var footer_1 = __importDefault(require("components/landing/footer"));
var header_1 = __importDefault(require("components/landing/header"));
var content_1 = __importDefault(require("components/landing/content"));
var with_customize_1 = __importDefault(require("lib/with-customize"));
var customize_1 = require("lib/customize");
var A_1 = __importDefault(require("components/misc/A"));
var sign_in_1 = __importDefault(require("components/landing/sign-in"));
var info_1 = __importDefault(require("components/landing/info"));
var code_1 = __importDefault(require("components/landing/code"));
var head_1 = __importDefault(require("components/landing/head"));
var snapshots_1 = __importDefault(require("components/landing/snapshots"));
var linux_1 = require("./linux");
var compare_1 = __importDefault(require("components/landing/compare"));
var icon_1 = require("@cocalc/frontend/components/icon");
var component = "a Linux Terminal";
var title = "Online Linux Terminal";
var terminal_png_1 = __importDefault(require("/public/features/terminal.png"));
var linux_logo_svg_1 = __importDefault(require("/public/features/linux-logo.svg"));
var cocalc_terminal_collab_gif_1 = __importDefault(require("/public/features/cocalc-terminal-collab.gif"));
var cocalc_shell_script_run_png_1 = __importDefault(require("/public/features/cocalc-shell-script-run.png"));
var terminal_software_png_1 = __importDefault(require("/public/features/terminal-software.png"));
function Terminal(_a) {
    var customize = _a.customize;
    return ((0, jsx_runtime_1.jsxs)(customize_1.Customize, __assign({ value: customize }, { children: [(0, jsx_runtime_1.jsx)(head_1.default, { title: title }), (0, jsx_runtime_1.jsxs)(antd_1.Layout, { children: [(0, jsx_runtime_1.jsx)(header_1.default, { page: "features", subPage: "terminal" }), (0, jsx_runtime_1.jsxs)(antd_1.Layout.Content, { children: [(0, jsx_runtime_1.jsx)("div", __assign({ style: { backgroundColor: "#c7d9f5" } }, { children: (0, jsx_runtime_1.jsx)(content_1.default, { startup: component, logo: linux_logo_svg_1.default, title: title, subtitle: "A Linux Terminal that can't mess up your own computer.", subtitleBelow: true, image: terminal_png_1.default, alt: "Running Sage in a Terminal" }) })), (0, jsx_runtime_1.jsx)(linux_1.FullLinuxTerminal, {}), (0, jsx_runtime_1.jsx)(sign_in_1.default, { startup: component }), (0, jsx_runtime_1.jsx)(info_1.default.Heading, __assign({ description: (0, jsx_runtime_1.jsxs)(jsx_runtime_1.Fragment, { children: ["There are many ways to use ", component, " online via CoCalc."] }) }, { children: "Feature Overview" })), (0, jsx_runtime_1.jsxs)(info_1.default, __assign({ title: "Realtime collaboration", icon: "users", image: cocalc_terminal_collab_gif_1.default, anchor: "a-realtimecollab", alt: "Video showing synchronized terminals", wide: true }, { children: [(0, jsx_runtime_1.jsx)("p", { children: "The same terminal can be opened by two or more users. Both see the same view, which adaptively resizes to a common size." }), (0, jsx_runtime_1.jsxs)("p", { children: ["Additionally, open a", " ", (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "https://doc.cocalc.com/chat.html" }, { children: "side chat" })), " panel to exchange thoughts and ideas."] }), (0, jsx_runtime_1.jsxs)("p", { children: ["This is ideal for getting advice by a colleague or", " ", (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "https://doc.cocalc.com/teaching-interactions.html" }, { children: "helping a student of yours" })), "."] })] })), (0, jsx_runtime_1.jsxs)(info_1.default, __assign({ title: "Run Bash, Python, R, etc.", icon: "r", image: cocalc_shell_script_run_png_1.default, anchor: "a-shell-script", alt: "Screenshot of editing and running a shell script", caption: (0, jsx_runtime_1.jsxs)(jsx_runtime_1.Fragment, { children: ["Bash ", (0, jsx_runtime_1.jsx)(code_1.default, { children: "script.sh" }), " file (left),", " ", (0, jsx_runtime_1.jsx)(code_1.default, { children: "bash -f script.sh" }), " to run (right)"] }) }, { children: [(0, jsx_runtime_1.jsxs)("p", { children: ["CoCalc's", " ", (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "https://doc.cocalc.com/frame-editor.html" }, { children: "frame editor" })), " ", "supports ", (0, jsx_runtime_1.jsx)("strong", { children: "editing script files" }), " side-by-side with a", " ", (0, jsx_runtime_1.jsx)("strong", { children: (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "https://doc.cocalc.com/terminal.html" }, { children: "terminal" })) }), "."] }), (0, jsx_runtime_1.jsxs)("p", { children: ["To get started, create a file with a suitable ending, e.g.", " ", (0, jsx_runtime_1.jsx)(code_1.default, { children: ".py" }), ", ", (0, jsx_runtime_1.jsx)(code_1.default, { children: ".sh" }), ", ", (0, jsx_runtime_1.jsx)(code_1.default, { children: ".r" }), ", ... Then open that file (via ", (0, jsx_runtime_1.jsx)(code_1.default, { children: "open filename.ext" }), ") and you can edit it with ", (0, jsx_runtime_1.jsx)("strong", { children: "syntax highlighting" }), ". Finally, split the frame and select the Terminal, like you can see it in the screenshot. Execute ", (0, jsx_runtime_1.jsx)(code_1.default, { children: "python3 script.py" }), ",", " ", (0, jsx_runtime_1.jsx)(code_1.default, { children: "bash -f script.sh" }), ", ... to run it.", " "] })] })), (0, jsx_runtime_1.jsxs)(info_1.default, __assign({ title: "Comprehensive software stack", icon: "server", image: terminal_software_png_1.default, anchor: "a-stack", alt: "Terminals software", caption: "Linux Terminals using vim, emacs, clang, mysql, cpp, maxim and zsh!", wide: true }, { children: [(0, jsx_runtime_1.jsxs)("p", { children: ["Many ", (0, jsx_runtime_1.jsx)("strong", { children: "popular applications" }), " are included in CoCalc:", " ", (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "https://git-scm.com/" }, { children: "Git" })), " to interact with", " ", (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "https://www.github.com" }, { children: "GitHub" })), ",", " ", (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "https://www.vim.org/" }, { children: "VIM" })), ",", " ", (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "https://www.gnu.org/software/emacs/" }, { children: "Emacs" })), ", various programming shells like ", (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "https://ipython.org/" }, { children: "IPython" })), ", ", (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "https://www.r-project.org/" }, { children: "R" })), ",", " ", (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "https://www.gnu.org/software/octave/index" }, { children: "Octave" })), " and", " ", (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "https://www.sagemath.org/" }, { children: "SageMath" })), "."] }), (0, jsx_runtime_1.jsxs)("p", { children: ["There is also support for many programming languages and compilers. ", (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "/features/python" }, { children: "Python" })), ", JAVA, C/C++ via", " ", (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "https://gcc.gnu.org/" }, { children: "GCC" })), " and", " ", (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "https://clang.llvm.org/" }, { children: "Clang" })), ",", " ", (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "https://ziglang.org/" }, { children: "Zig" })), ",", " ", (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "https://en.wikipedia.org/wiki/Ada_(programming_language)" }, { children: "Ada" })), ",", " ", (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "https://en.wikipedia.org/wiki/Haskell_(programming_language)" }, { children: "Haskell" })), ", ", (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "https://en.wikipedia.org/wiki/Smalltalk" }, { children: "Smalltalk" })), ",", " ", (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "https://www.rust-lang.org/" }, { children: "Rust" })), " and many more."] }), (0, jsx_runtime_1.jsxs)("p", { children: ["Look at our", " ", (0, jsx_runtime_1.jsx)("strong", { children: (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "/software/executables" }, { children: "list of executables" })) }), " ", "to check what is available!", " "] })] })), (0, jsx_runtime_1.jsx)(snapshots_1.default, {}), (0, jsx_runtime_1.jsx)(compare_1.default, { name: "terminal", disclaimer: true, title: (0, jsx_runtime_1.jsxs)("h2", __assign({ style: { textAlign: "center" } }, { children: [(0, jsx_runtime_1.jsx)(icon_1.Icon, { name: "bolt" }), " Terminals in CoCalc versus the competition"] })) }), (0, jsx_runtime_1.jsx)(sign_in_1.default, { startup: component })] }), (0, jsx_runtime_1.jsx)(footer_1.default, {})] })] })));
}
exports.default = Terminal;
function getServerSideProps(context) {
    return __awaiter(this, void 0, void 0, function () {
        return __generator(this, function (_a) {
            switch (_a.label) {
                case 0: return [4 /*yield*/, (0, with_customize_1.default)({ context: context })];
                case 1: return [2 /*return*/, _a.sent()];
            }
        });
    });
}
exports.getServerSideProps = getServerSideProps;
//# sourceMappingURL=terminal.js.map