[Bug 52303] Method of switching PHP versions from Vagrant CLI
https://bugzilla.wikimedia.org/show_bug.cgi?id=52303 Bryan Davis changed: What|Removed |Added Assignee|o...@wikimedia.org |wikibugs-l@lists.wikimedia. ||org --- Comment #6 from Bryan Davis --- Bulk unassigning bugs from Ori. -- You are receiving this mail because: You are the assignee for the bug. You are on the CC list for the bug. ___ Wikibugs-l mailing list Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
[Bug 52303] Method of switching PHP versions from Vagrant CLI
https://bugzilla.wikimedia.org/show_bug.cgi?id=52303 Bryan Davis changed: What|Removed |Added CC||bda...@wikimedia.org --- Comment #5 from Bryan Davis --- phpenv (https://github.com/phpenv/phpenv) provides an interesting way to install and manage multiple php interpreters. I have used it in the past to setup build and test servers for PECL extensions and other projects where having multiple php builds is useful. I think it's what Travis-CI uses as well to provide php matrix builds. -- You are receiving this mail because: You are on the CC list for the bug. ___ Wikibugs-l mailing list Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
[Bug 52303] Method of switching PHP versions from Vagrant CLI
https://bugzilla.wikimedia.org/show_bug.cgi?id=52303 --- Comment #4 from Tyler Romeo --- apt-get allows you to specify the version of package to install. For example: sudo apt-get install php5=5.5.3 Unfortunately it's only specific versions, meaning you can't do "php5>=5.4.9" or anything like that. Also, you need to be using a version of Ubuntu that has the latest versions of PHP in the repository. (Only quantal and later have PHP 5.4, and only saucy has PHP 5.5.) -- You are receiving this mail because: You are on the CC list for the bug. ___ Wikibugs-l mailing list Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
[Bug 52303] Method of switching PHP versions from Vagrant CLI
https://bugzilla.wikimedia.org/show_bug.cgi?id=52303 --- Comment #3 from Ori Livneh --- Setting aside Vagrant and Puppet for the moment: what is the proper way to specify the default PHP interpreter in Ubuntu? -- You are receiving this mail because: You are on the CC list for the bug. ___ Wikibugs-l mailing list Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
[Bug 52303] Method of switching PHP versions from Vagrant CLI
https://bugzilla.wikimedia.org/show_bug.cgi?id=52303 --- Comment #2 from Tyler Romeo --- Note: HHVM also kind of falls under the scope of this bug. -- You are receiving this mail because: You are on the CC list for the bug. ___ Wikibugs-l mailing list Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
[Bug 52303] Method of switching PHP versions from Vagrant CLI
https://bugzilla.wikimedia.org/show_bug.cgi?id=52303 Andre Klapper changed: What|Removed |Added Component|MediaWiki-Vagrant |General Product|Tools |MediaWiki-Vagrant --- Comment #1 from Andre Klapper --- [mass-moving from Tools>MediaWiki-Vagrant to separate product. See bug 54041. Filter bugmail on this comment.] -- You are receiving this mail because: You are on the CC list for the bug. ___ Wikibugs-l mailing list Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l