From ec87fbff8db9c644a9481df8ef6cb0d777265497 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Tue, 12 Oct 2021 11:38:32 -0300 Subject: _plugins/linter.rb: Remove Git Annex assert --- _plugins/linter.rb | 22 ---------------------- 1 file changed, 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 -- cgit v1.2.3