Coda File System

(Illustration by Gaich Muramatsu)

• News
• About
• Downloads
• Mailing lists
• Bugs
• FAQ
• Documentation
• Development
• Research
• Wiki

Obtaining Coda

Binaries/Sources

USA, Pennsylvania (Carnegie Mellon University)

http://coda.cs.cmu.edu/coda/

Debian/Ubuntu repositories

Install the archive signing key

wget -qO- http://coda.cs.cmu.edu/coda/jaharkes.key | apt-key add -

and the following to /etc/apt/sources.list.d/coda.list

deb http://coda.cs.cmu.edu/coda buster main

Adjust buster accordingly for the distribution you are running. We have repositories for Debian-jessie, -stretch, -buster (stable), Ubuntu-16.04, -18.04, -20.04 (xenial, bionic, focal) LTS releases and Ubuntu-20.10 (groovy).

Fedora repository

Install the Coda release RPM , which configures your system to receive software from the Coda repository. Then you can use yum install coda-client to install a Coda client.

Development sources

Coda sources: https://github.com/cmusatyalab/coda

This depends on libreadline, libncurses5, liblua5.1, flex, bison, pkg-config, python, and automake/autoconf.