diff options
Diffstat (limited to '_plugins')
-rw-r--r-- | _plugins/linter.rb | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/_plugins/linter.rb b/_plugins/linter.rb index 5f3a477..b3830d5 100644 --- a/_plugins/linter.rb +++ b/_plugins/linter.rb @@ -119,27 +119,6 @@ module Jekyll end end - @@first_build = true - def assert_git_annex(site) - url = site.config['url'] - stdout = `git annex find --not --in web` - if stdout != '' or not $?.success? then - puts 'Files in Git Annex not published to "web" remote:' - puts stdout - puts "Add them with:\n\n" - stdout.strip.split("\n").each do |file| - puts "git annex addurl --file #{file} #{url}/#{file}" - end - msg = "\nBuild again after files above are added" - if @@first_build then - @@first_build = false - puts msg - else - raise msg - end - end - end - MEDIA_EXTENSION = { 'podcasts' => 'flac', 'screencasts' => 'webm' @@ -216,7 +195,6 @@ module Jekyll assert_unique_ids(site) assert_frontmatter(site) assert_media_metadata(site) - assert_git_annex(site) assert_lilypond(site) end |