satysfi-docker を使って SATySFi をお手軽に試す - amutake's blog
この記事は SATySFi Advent Calendar 2019 3日目の記事です。 2日目はSATySFiの作者であるgfngfnさんによるSATySFiの2段組機能でした。 追記 2020/12/08: satysfi-docker から docker-satysfi に名前を変更しました。以降の文章は面倒なので satysfi-docker のままですが、今後書く文章には docker-satysfi を使います。 前置き SATySFi をインストールするためには opam と OCaml コンパイラのインストールが必要ですが、OCaml を使わない人にとっては SATySFi のためだけに opam 環境を入れるのは面倒です。 opam をすでに使っている人にとっても、SATySFi のインストールには専用の opam repository を使うので環境を分けるために SA
MacOSとWindowsのネイティブ仮想化を用いたDocker純正ツール「Docker for Mac/Windows」登場、VirtualBoxは不要に
MacOSとWindowsのネイティブ仮想化を用いたDocker純正ツール「Docker for Mac/Windows」登場、VirtualBoxは不要に これまでWindowsやMacOSの上でDockerを試すには、それぞれのOS上でLinuxを動かすために仮想マシンのVirtualBoxをインストールする必要がありました。しかしOS上で仮想マシンを動かす処理は、重く不安定になりがちでした。 Docker社はこの方法に代わる新しいツール「Docker for Mac and Windows」のベータ版を発表しました。 Docker for Mac and Windowsは、それぞれのOSのネイティブアプリケーションの形式で提供され、VirtualBoxの代わりにそれぞれのOSに組み込まれている仮想化機能、WindowsではHyper-V、MacOSではxhyveを用いることで、より高
［速報］Google Container Engine発表。Dockerコンテナを実行しKubernetesで管理するクラウドサービス
［速報］Google Container Engine発表。Dockerコンテナを実行しKubernetesで管理するクラウドサービス Googleは11月4日（日本時間5日）、サンフランシスコでイベント「Google Cloud Platform Live」を開催。Dockerコンテナ上でアプリケーションを実行し、それをKubernetesで管理するクラウドサービス、「Google Container Engine」（略称はGKE。Google Compute Engineの略称GCEとかぶるためにGKEになったのだと思われます）を発表しました。 これまでIaaS型のクラウドでアプリケーションを実行するには、仮想マシンのインスタンスを起動し、OSをインストールし、ネットワーク環境などを設定したうえでアプリケーションをインストールする、といった手順を踏む必要がありました。 Google C
［速報］マイクロソフトがDockerと提携、次期Windows ServerでDockerを採用と発表。Microsoft AzureではDocker Hubとの統合も
米マイクロソフトはDocker社と提携し、次期Windows ServerでDockerをサポート。Microsoft AzureでもDockerをサポートするとともに、Docker Hubとの統合も行うと発表しました。 同社のエンタープライズおよびクラウド部門の責任者であるスコット・ガスリー氏が自身のブログ「Docker and Microsoft: Integrating Docker with Windows Server and Microsoft Azure」で明らかにしています。 DockerのWindowsイメージに対応 ガスリー氏のブログによると、Windows ServerとMicrosoft AzureによるDocker対応は以下の通り。 （1）マイクロソフトはDocker Engineを次期Windows Serverに統合。次期Windows Serverにコンテナ
Docker専用のLinux軽量OS「CoreOS」が、商用サポート「CoreOS Managed Linux」と管理ツール「CoreUpdate」の提供を開始
CoreOSは、アプリケーションの実行環境をDocker Engineに最適化し、軽量なOSを目指すLinuxディストリビューションの1つです。 ブート可能なOSの領域を内部に2つ持つことでOSのロールバックを実現しつつ安全にOSにパッチを当てることができ、また分散環境で利用することを前提にしたシステムツールを採用することで、大規模分散システムの構築を得意とするOSです。 CoreOSは、オープンソースとして開発され、クラウドとコンテナ技術に最適化した新しいタイプのLinux OSだといえるでしょう。 CoreOSの開発元であるCoreOSは、有償サポートプログラムの対象となる「CoreOS Managed Linux」と管理ツールの「CoreUpdate」を発表しました。 Managed Linuxは有償サポート CoreOS Managed Linuxの有償サポートは「Managed
Dockerで何が変わるのか - 世界線航跡蔵
DockerCon 2014 に行ってきた。 この会期中には各社からいくつもの製品が紹介/発表された。そして、それによってクラウドという技術は次のステージに移行したと言っても過言ではないだろう。 より自由にユーザーがクラウドベンダーを選べる時代へ。どうやってクラウドにうまくデプロイするかではなく、アプリケーションそのものに注力できる時代へ。 Dockerとは Docker とはいわゆるコンテナ技術の1つで、Linuxホスト環境の中に隔離された別のLinux環境を作ってくれる技術だ。 軽量仮想マシンと呼ばれたりもする。 Solaris Container とも似ている。 新しくないDocker 1つ述べておくとDockerは技術的には新しくない。Dockerの価値は技術以外にある(とDockerのCEOもDockerConで言ってた)。 技術的にはSolarisにはSolaris 10の頃か
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Google Kubernetes Engine (GKE)