This ripl plugin adds a --profile option to ripl that loads profile files in ~/.ripl/profiles before starting ripl - View it on GitHub
Star
1
Rank
4944412