Skip to content

Commit 16d627f

Browse files
authored
Merge pull request #382 from limzykenneth/master
Urgent Fix: Outdated p5.js version on website
2 parents 7ad279a + 7e4a9fe commit 16d627f

File tree

8 files changed

+135
-60
lines changed

8 files changed

+135
-60
lines changed

Gruntfile.js

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -243,6 +243,12 @@ module.exports = function(grunt) {
243243
src: ['**'],
244244
dest: '<%= config.dist %>/zh-Hans/reference'
245245
},
246+
gitDeploy: {
247+
expand: true,
248+
cwd: '<%= config.src %>',
249+
src: 'git-pull.php',
250+
dest: '<%= config.dist %>'
251+
},
246252
offlineReference: {
247253
files: [
248254
{

git-pull.php

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
<?php
2+
echo system('git reset --hard');
3+
echo system('git checkout -- .');
4+
echo system('git pull git://github.com/processing/p5.js-website.git gh-pages');
5+
// date_default_timezone_set('America/New_York');
6+
// $date = getdate();
7+
// $date_str = $date['month'].' '.$date['mday'].', '.$date['year'];
8+
// $f = fopen('updated.php', 'w');
9+
// fwrite($f, $date_str);
10+
// fclose($f);
11+
// $f = fopen('site/updated.php', 'w');
12+
// fwrite($f, $date_str);
13+
// fclose($f);
14+
?>

src/assets/js/p5.dom.min.js

Lines changed: 3 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

src/assets/js/p5.min.js

Lines changed: 3 additions & 9 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

src/assets/js/p5.sound.min.js

Lines changed: 27 additions & 5 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

src/git-pull.php

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
<?php
2+
echo system('git reset --hard');
3+
echo system('git checkout -- .');
4+
echo system('git pull git://github.com/processing/p5.js-website.git gh-pages');
5+
// date_default_timezone_set('America/New_York');
6+
// $date = getdate();
7+
// $date_str = $date['month'].' '.$date['mday'].', '.$date['year'];
8+
// $f = fopen('updated.php', 'w');
9+
// fwrite($f, $date_str);
10+
// fclose($f);
11+
// $f = fopen('site/updated.php', 'w');
12+
// fwrite($f, $date_str);
13+
// fclose($f);
14+
?>

src/templates/pages/reference/assets/js/reference.js

Lines changed: 64 additions & 41 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

src/templates/pages/reference/assets/js/reference.js.map

Lines changed: 4 additions & 4 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)