https://bugzilla.wikimedia.org/show_bug.cgi?id=69816
Bryan Davis <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #1 from Bryan Davis <[email protected]> --- (In reply to Steven Walling from comment #0) > I am getting the following error from Vagrant now: > > "Whoops! The default skin for your wiki ($wgDefaultSkin), vector, is not > available. > > You have no installed skins." > > A git update, provision, and reload does nothing to fix this. There is a little chicken and egg problem with existing mediawiki checkouts. Try this: $ cd vagrant/mediawiki $ git pull You should hopefully see the existing mediawiki/skins/Vector directory disappear. $ cd .. $ git pull $ vagrant provision You should hopefully see mediawiki/skins/Vector reappear as a clone of the new independent repository. -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
